Make warnings fatal in CI

kind2-mc · Jan 18, 2024 · 9654b38 · 9654b38
1 parent 8715737
commit 9654b38
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
@@ -36,6 +36,11 @@ jobs:
     - name: Install Kind2 OCaml dependencies
       run: opam install -y . --deps-only
 
+    - name: Make OCaml warnings fatal
+      run: |
+        head -n1 dune-project > dune-workspace
+        echo '(profile strict)' >> dune-workspace
+
     - name: Build Kind2
       run: opam exec make
 

diff --git a/src/dune b/src/dune
@@ -23,4 +23,8 @@
 (env
  (dev
   (flags
-   (:standard -warn-error -A -w A-4-9-29-40-41-42-44-48-67-70))))
+   (:standard -warn-error -A -w A-4-9-29-40-41-42-44-48-67-70)))
+ (strict
+  (flags
+   (:standard -warn-error A -w A-4-9-29-40-41-42-44-48-67-70)))
+)