CI

imandra-ai · Dec 14, 2023 · 2fd3fac · 2fd3fac
1 parent 2a8d23b
commit 2fd3fac
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,8 +25,6 @@ jobs:
         uses: actions/checkout@v2
         with:
           submodules: recursive
-          dune-cache: true
-          allow-prerelease-opam: true
 
       # needed for depext to work
       - run: sudo apt-get update
@@ -37,6 +35,8 @@ jobs:
         with:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-depext-flags: --with-test
+          dune-cache: true
+          allow-prerelease-opam: true
 
       - run: |
           opam pin ocaml-protoc 3.0.1 -y -n