move CN code formatting check before running CI tests

rems-project · Aug 5, 2024 · a92100e · a92100e
1 parent d5c1d9d
commit a92100e
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -96,6 +96,12 @@ jobs:
         opam pin --yes --no-action add cn .
         opam install --yes cn ocamlformat.0.26.2
 
+    - name: Check CN code formatting
+      run: |
+        opam switch ${{ matrix.version }}
+        eval $(opam env --switch=${{ matrix.version }})
+        USE_OPAM='' cd backend/cn && dune build @fmt
+
     - name: Checkout cn-tutorial
       uses: actions/checkout@v4
       with:
@@ -121,12 +127,6 @@ jobs:
         cd tests; USE_OPAM='' ./run-cn-test-gen.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
-
     - name: Install Cerberus-CHERI
       if: ${{ matrix.version == '4.14.1' }}
       run: |