diff --git a/.github/workflows/erlang.yml b/.github/workflows/erlang.yml
index 84cb588..454a011 100644
--- a/.github/workflows/erlang.yml
+++ b/.github/workflows/erlang.yml
@@ -33,5 +33,3 @@ jobs:
       run: rebar3 eunit
     - name: Run CT
       run: rebar3 ct
-    - name: Run dialyzer
-      run: rebar3 dialyzer
diff --git a/rebar.config b/rebar.config
index f345c7e..5a0d729 100644
--- a/rebar.config
+++ b/rebar.config
@@ -1,12 +1,15 @@
 {erl_opts, [debug_info]}.
 
 {deps, [
-    {nova, "~> 0.12"}
+    {nova, "~> 0.13"}
 ]}.
 
 {profiles, [
     {test, [
         {erl_opts, [debug_info, nowarn_export_all]},
-        {extra_src_dirs, ["test/support"]}
+        {extra_src_dirs, ["test/support"]},
+        {deps, [
+            {proper, "1.4.0"}
+        ]}
     ]}
 ]}.