Run Dialyzer in CI

This commit is contained in:
Marcel Otto 2020-03-19 22:04:17 +01:00
parent 4d926c51ef
commit 90c8933592
4 changed files with 9 additions and 3 deletions

4
.gitignore vendored
View file

@ -16,6 +16,10 @@ erl_crash.dump
# Also ignore archive artifacts (built via "mix archive.build"). # Also ignore archive artifacts (built via "mix archive.build").
*.ez *.ez
# Dialyzer
/priv/plts/*.plt
/priv/plts/*.plt.hash
/src/*_lexer.erl /src/*_lexer.erl
/src/*_parser.erl /src/*_parser.erl

View file

@ -21,3 +21,7 @@ after_script:
- MIX_ENV=docs mix inch.report - MIX_ENV=docs mix inch.report
script: script:
- MIX_ENV=test mix coveralls.travis - MIX_ENV=test mix coveralls.travis
- mix dialyzer
cache:
directories:
- priv/plts

View file

@ -80,11 +80,9 @@ defmodule RDF.Mixfile do
end end
defp dialyzer do defp dialyzer do
# Dialyzer will emit a warning when the name of the plt file is set
# as people misused it in the past. Without setting a name caching of
# this file is much more trickier, so we still use this functionality.
[ [
plt_add_apps: [:mix], plt_add_apps: [:mix],
plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
ignore_warnings: ".dialyzer_ignore" ignore_warnings: ".dialyzer_ignore"
] ]
end end

0
priv/plts/.keep Normal file
View file