-
Notifications
You must be signed in to change notification settings - Fork 0
47 lines (38 loc) · 1.1 KB
/
dialyzer.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
name: Dialyzer
on: [push, pull_request]
jobs:
check:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v3
- name: setup
id: setup
uses: erlef/setup-beam@v1
with:
elixir-version: '1.14.2'
otp-version: '25.0'
- name: mix-cache
uses: actions/cache@v3
id: mix-cache
with:
path: deps
key: ${{ runner.os }}-${{ steps.setup.outputs.otp-version }}-${{ steps.setup.outputs.elixir-version }}-mix-${{ hashFiles(format('{0}{1}', github.workspace, '/mix.lock')) }}
- name: mix-deps
if: steps.mix-cache.outputs.cache-hit != 'true'
run: |
mix local.rebar --force
mix local.hex --force
mix deps.get
- name: plt-cache
uses: actions/cache@v3
id: plt-cache
with:
path: plts
key: ${{ runner.os }}-${{ steps.setup.outputs.otp-version }}-${{ steps.setup.outputs.elixir-version }}-plts
- name: plt-create
if: steps.plt-cache.outputs.cache-hit != 'true'
run: |
mkdir -p plts
mix dialyzer --plt
- name: dialyzer
run: mix dialyzer