test(.github): run dialyzer on pull request
This commit is contained in:
parent
f391e039c9
commit
284fcab12d
|
@ -0,0 +1,12 @@
|
||||||
|
name: Run dialyzer
|
||||||
|
on: pull_request
|
||||||
|
jobs:
|
||||||
|
run_dialyzer:
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
container:
|
||||||
|
image: erlang:23.2
|
||||||
|
steps:
|
||||||
|
- uses: actions/checkout@v1
|
||||||
|
- name: Code dialyzer
|
||||||
|
run: |
|
||||||
|
make dialyzer
|
Loading…
Reference in New Issue