Skip to content

Fixes for Dialyzer #352

Fixes for Dialyzer

Fixes for Dialyzer #352

Workflow file for this run

---
name: test
on:
push:
branches:
- main
pull_request:
types: [opened, synchronize]
jobs:
test:
name: Erlang/OTP ${{matrix.otp}} / rebar3 ${{matrix.rebar3}}
runs-on: ubuntu-24.04
strategy:
matrix:
include:
- otp: 27
os: ubuntu-24.04
rebar3: 3.23
dialyzer: true
- otp: 26
os: ubuntu-24.04
rebar3: 3.23
- otp: 25
os: ubuntu-24.04
rebar3: 3.23
steps:
- uses: actions/checkout@v4
- uses: erlef/setup-beam@v1
with:
otp-version: ${{matrix.otp}}
rebar3-version: ${{matrix.rebar3}}
- name: Static analysis
run: rebar3 dialyzer
if: ${{ matrix.dialyzer == true }}
- name: Common Tests
run: rebar3 ct
- name: Code coverage
run: rebar3 as test do cover,covertool generate
- name: Upload coverage report
uses: codecov/codecov-action@v4
with:
files: _build/test/covertool/rebar3_hex.covertool.xml
name: ${{matrix.otp}}