chore: add dialyzer to pipeline

NFIBrokerage · Jan 6, 2023 · 01f4e28 · 01f4e28
1 parent 5eda4dc
commit 01f4e28
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -75,6 +75,13 @@ jobs:
     - name: Credo
       run: mix credo
 
+    - name: Create Dialyzer PLTs
+      if: steps.plt_cache.outputs.cache-hit != 'true'
+      run: mix dialyzer --plt
+
+    - name: Run dialyzer
+      run: mix dialyzer --format github
+
   publish-hex-package:
     name: Publish Hex Package ⬆️☁️
     runs-on: ubuntu-20.04

diff --git a/mix.exs b/mix.exs
@@ -32,7 +32,10 @@ defmodule Spear.MixProject do
       deps: deps(),
       docs: docs(),
       package: package(),
-      description: description()
+      description: description(),
+      dialyzer: [
+        plt_file: {:no_warn, "priv/plts/dialyzer.plt"}
+      ]
     ]
   end
 

diff --git a/priv/plts/.gitkeep b/priv/plts/.gitkeep