mirror of
https://github.com/processone/ejabberd.git
synced 2024-11-22 16:20:52 +01:00
Runtime: Run Dialyzer in Mix jobs
This commit is contained in:
parent
f50b5e1a58
commit
dbf0fb8e86
5
.github/workflows/runtime.yml
vendored
5
.github/workflows/runtime.yml
vendored
@ -334,13 +334,14 @@ jobs:
|
|||||||
./autogen.sh
|
./autogen.sh
|
||||||
./configure --with-rebar=mix \
|
./configure --with-rebar=mix \
|
||||||
--prefix=/tmp/ejabberd \
|
--prefix=/tmp/ejabberd \
|
||||||
--enable-all \
|
--enable-all
|
||||||
--disable-odbc
|
|
||||||
mix deps.get
|
mix deps.get
|
||||||
make
|
make
|
||||||
|
|
||||||
- run: make xref
|
- run: make xref
|
||||||
|
|
||||||
|
- run: make dialyzer
|
||||||
|
|
||||||
- run: make edoc
|
- run: make edoc
|
||||||
|
|
||||||
- name: Run rel
|
- name: Run rel
|
||||||
|
Loading…
Reference in New Issue
Block a user