try using cached opam switch.

UQ-PAC · Oct 21, 2022 · 96b66f4 · 96b66f4
1 parent 530d57c
commit 96b66f4
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -3,7 +3,7 @@ name: Test partial eval
 on:
   push:
     branches:
-      - partial_eval 
+      - partial_eval
   workflow_dispatch:
 
 jobs:
@@ -20,14 +20,19 @@ jobs:
           dune-cache: true
 
       - name: Opam install
-        run: opam install . --deps-only --with-test
+        run: |
+          opam switch create new 4.09.0
+          wget https://github.com/katrinafyi/pac-environment/releases/download/opam/new.tar.gz
+          tar xzf new.tar.gz
+          mv new ~/.opam
 
       - name: Extract encodings
         run: tar xzf encodings.tar.gz
 
       - name: Build and test
         id: test
         run: |
+          opam switch new
           eval `opam config env`
           export LD_LIBRARY_PATH=`opam config var z3:lib`
           dune build