fast CI

imandra-ai · Dec 11, 2023 · f552211 · f552211
1 parent f15226d
commit f552211
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -25,6 +25,8 @@ 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