From 01f4e28d46e25e6af84bb12c0e48a1c9a5d23f1a Mon Sep 17 00:00:00 2001 From: Yordis Prieto Lazo Date: Fri, 6 Jan 2023 12:21:41 -0500 Subject: [PATCH] chore: add dialyzer to pipeline --- .github/workflows/ci.yml | 7 +++++++ mix.exs | 5 ++++- priv/plts/.gitkeep | 0 3 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 priv/plts/.gitkeep diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 095dcc5..01567bf 100644 --- 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 index 5c37f2c..8991fca 100644 --- 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 new file mode 100644 index 0000000..e69de29