feat(dialyzer): add typecheck stage to full CI pipelines

mix.exs

@@ -12,6 +12,7 @@ defmodule Mv.MixProject do
       compilers: [:phoenix_live_view] ++ Mix.compilers(),
       aliases: aliases(),
       deps: deps(),
+      dialyzer: dialyzer(),
       listeners: [Phoenix.CodeReloader],
       gettext: [write_reference_line_numbers: false]
     ]
@@ -80,6 +81,7 @@ defmodule Mv.MixProject do
       {:sobelow, "~> 0.14", only: [:dev, :test], runtime: false},
       {:bypass, "~> 2.1", only: [:dev, :test]},
       {:credo, "~> 1.7", only: [:dev, :test], runtime: false},
+      {:dialyxir, "~> 1.4", only: [:dev, :test], runtime: false},
       {:picosat_elixir, "~> 0.1"},
       {:ecto_commons, "~> 0.3"},
       {:slugify, "~> 1.3"},
@@ -112,4 +114,21 @@ defmodule Mv.MixProject do
       "phx.routes": ["phx.routes", "ash_authentication.phoenix.routes"]
     ]
   end
+
+  defp dialyzer do
+    [
+      plt_file: {:no_warn, "priv/plts/dialyzer.plt"},
+      plt_core_path: "priv/plts/core.plt",
+      plt_add_apps: [:mix, :ex_unit],
+      flags: [
+        :error_handling,
+        :unmatched_returns,
+        :extra_return,
+        :missing_return,
+        :underspecs
+      ],
+      ignore_warnings: ".dialyzer_ignore.exs",
+      list_unused_filters: true
+    ]
+  end
 end