Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Some maintenance updates #62

Merged
merged 10 commits into from
Aug 21, 2023
Prev Previous commit
Next Next commit
Analyse further
We also add `no_unknown` to Dialyzer (because `unknown` is
default in OTP 26), so we can fix errors locally without having to
wait for CI (if locally you're using OTP 25, and CI fails in OTP 26,
that is)
  • Loading branch information
paulo-ferraz-oliveira committed Aug 20, 2023
commit 702c616568957fd63ff4e8f5bec519b0c6d4af1e
2 changes: 1 addition & 1 deletion .github/workflows/erlang.yml
Original file line number Diff line number Diff line change
Expand Up @@ -47,4 47,4 @@ jobs:
- name: Format check
run: rebar3 format --verify
- name: Run tests and verifications
run: rebar3 test
run: rebar3 as test test
8 changes: 7 additions & 1 deletion rebar.config
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 15,13 @@

{dialyzer,
[{warnings,
[underspecs, unmatched_returns, error_handling, missing_return, extra_return]}]}.
[underspecs,
unmatched_returns,
error_handling,
missing_return,
extra_return,
no_unknown]},
{plt_extra_apps, [common_test]}]}.

{xref_checks, [undefined_functions, deprecated_functions]}.

Expand Down