Fix ci

JetBrains-Research · Feb 28, 2024 · 1151888 · 1151888
1 parent 8c9d49c
commit 1151888
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/.github/workflows/coqpilot.yml b/.github/workflows/coqpilot.yml
@@ -26,12 +26,6 @@ jobs:
       uses: ocaml/setup-ocaml@v2
       with:
         ocaml-compiler: ${{ matrix.ocaml-compiler }}
-
-    - name: Make coq project from test resources directory
-      run: |
-        cd src/test/resources/coqProj
-        make
-      shell: bash
 
     - name: Install opam dependencies
       env:
@@ -43,6 +37,12 @@ jobs:
     - name: Opam eval 
       run: eval $(opam env)
 
+    - name: Make coq project from test resources directory
+      run: |
+        cd src/test/resources/coqProj
+        make
+      shell: bash
+
     - name: Install Node.js
       uses: actions/setup-node@v3
       with: