From dbf0fb8e8610aaff79c48675dd6f600303263db5 Mon Sep 17 00:00:00 2001 From: Badlop Date: Wed, 6 Mar 2024 12:51:46 +0100 Subject: [PATCH] Runtime: Run Dialyzer in Mix jobs --- .github/workflows/runtime.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/runtime.yml b/.github/workflows/runtime.yml index f530f4c3a..11953ad5b 100644 --- a/.github/workflows/runtime.yml +++ b/.github/workflows/runtime.yml @@ -334,13 +334,14 @@ jobs: ./autogen.sh ./configure --with-rebar=mix \ --prefix=/tmp/ejabberd \ - --enable-all \ - --disable-odbc + --enable-all mix deps.get make - run: make xref + - run: make dialyzer + - run: make edoc - name: Run rel