CI/CD tweaks.

lfe-http · Jul 6, 2023 · 52f7189 · 52f7189
1 parent 7e6388d
commit 52f7189
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/.github/workflows/cicd.yml b/.github/workflows/cicd.yml
@@ -33,7 +33,7 @@ jobs:
     - name: Dialyzer
       run: rebar3 dialyzer
     - name: Proper Tests
-      run: rebar3 proper --regressions
+      run: rebar3 as test do compile, proper --regressions
     - name: Run Tests
       run: rebar3 ct -c
     - name: Run Unit Tests
@@ -61,8 +61,10 @@ jobs:
       run: rebar3 xref
     - name: Dialyzer
       run: rebar3 dialyzer
+    - name: Compile Tests
+      run: rebar3 as test compile
     - name: Proper Tests
-      run: rebar3 proper --regressions
+      run: rebar3 as test proper --regressions
     - name: Run Tests
       run: rebar3 ct -c
     - name: Run Unit Tests

diff --git a/rebar.config b/rebar.config
@@ -21,10 +21,10 @@
 {profiles, [
     {test, [
         {deps, [
-            {proper, "1.3.0"}
+            {proper, "1.4.0"}
         ]},
         {plugins, [
-            {rebar3_proper, "0.12.0"}
+            {rebar3_proper, "0.12.1"}
         ]},
         {eunit_opts, [verbose]},
         {erl_opts, [{src_dirs, ["src", "test"]}]}
@@ -38,8 +38,8 @@
     ]},
     {check, [
         compile,
-        %%xref,
-        %%dialyzer,
+        xref,
+        dialyzer,
         eunit,
         coverage
     ]}