CN: Add formatting check to CI

rems-project · Jul 22, 2024 · dab76c4 · dab76c4
1 parent dcf4844
commit dab76c4
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -129,4 +129,8 @@ jobs:
         cd tests; USE_OPAM='' ./run-cheri.sh
         cd ..
 
-
+    - name: Check CN code formatting
+      run: |
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        USE_OPAM='' cd backend/cn && dune build @fmt
diff --git a/backend/cn/.ocamlformat b/backend/cn/.ocamlformat
@@ -24,4 +24,3 @@ parens-tuple=always
 sequence-style=terminator
 type-decl=sparse
 space-around-records=true
-wrap-comments=true