From 514fab8f7dc396cd6314e83b34e6d65c3b3b59cb Mon Sep 17 00:00:00 2001 From: Tristan Sloughter Date: Thu, 9 Nov 2023 07:36:26 -0700 Subject: [PATCH] ignore dialyzer unknown warnings --- .github/workflows/main.yml | 30 ++++++++++++++++++++++++++++-- rebar.config | 2 ++ 2 files changed, 30 insertions(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ec8fb8f..b4f4911 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -32,8 +32,6 @@ jobs: run: rebar3 compile - name: Tests run: rebar3 ct --cover - - name: Dialyzer - run: rebar3 dialyzer - name: Covertool run: rebar3 covertool generate - uses: codecov/codecov-action@v2 @@ -41,3 +39,31 @@ jobs: with: file: _build/test/covertool/grpcbox.covertool.xml env_vars: OTP_VERSION + + dialyzer: + name: Dialyze on OTP ${{ matrix.otp_version }} and ${{ matrix.os }} + runs-on: ${{ matrix.os }} + strategy: + matrix: + otp_version: ['26.0'] + rebar3_version: ['3.22.1'] + os: [ubuntu-20.04] + steps: + - uses: actions/checkout@v2 + - uses: erlef/setup-beam@v1 + with: + otp-version: ${{ matrix.otp_version }} + rebar3-version: ${{ matrix.rebar3_version }} + version-type: 'strict' + - uses: actions/cache@v2 + name: Cache + with: + path: | + _build + key: ${{ runner.os }}-build-${{ matrix.otp_version }}-${{ hashFiles('rebar.lock') }}-5 + restore-keys: | + ${{ runner.os }}-dialyzer-${{ matrix.otp_version }}-5- + - name: Compile + run: rebar3 compile + - name: Dialyzer + run: rebar3 as dialyzer dialyzer diff --git a/rebar.config b/rebar.config index ad53628..51ef54d 100644 --- a/rebar.config +++ b/rebar.config @@ -58,3 +58,5 @@ %% create junit xml for circleci {ct_opts, [{ct_hooks, [cth_surefire]}]}. + +{dialyzer, [{warnings, [no_unknown]}]}.