attempt #3 to fix CI

rizinorg · Oct 11, 2024 · 60e18bf · 60e18bf
1 parent 197f976
commit 60e18bf
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -33,10 +33,11 @@ jobs:
               run: |
                 cd generator && source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
-                opam update && opam upgrade
-                opam install . --deps-only
+                opam update
+                
                 opam install sail=0.18
                 sudo apt-get install z3
+                opam install . --deps-only
 
             - name: Running the generator
               run: |