Setup Dialyzer in GitHub Actions workflow

This commit is contained in:
Marcel Otto 2020-10-09 21:54:01 +02:00
parent 1c11b63e58
commit ab6aadfe03

View file

@ -59,3 +59,19 @@ jobs:
- name: Run tests
run: mix coveralls.github
- name: Retrieve PLT Cache
uses: actions/cache@v1
id: plt-cache
with:
path: priv/plts
key: ${{ runner.os }}-${{ matrix.otp }}-${{ matrix.elixir }}-plts-${{ hashFiles(format('{0}{1}', github.workspace, '/mix.lock')) }}
- name: Create PLTs
if: steps.plt-cache.outputs.cache-hit != 'true'
run: |
mkdir -p priv/plts
mix dialyzer --plt
- name: Run dialyzer
run: mix dialyzer --no-check --halt-exit-status