attempt #2 to fix CI and fix hash to point to the new sail model version

rizinorg · Oct 11, 2024 · 197f976 · 197f976
1 parent 6eab6ac
commit 197f976
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
@@ -33,8 +33,7 @@ jobs:
               run: |
                 cd generator && source ~/.bash_profile
                 export OPAMCONFIRMLEVEL=yes
-                opam update
-                opam list -a
+                opam update && opam upgrade
                 opam install . --deps-only
                 opam install sail=0.18
                 sudo apt-get install z3

diff --git a/sail.hash.txt b/sail.hash.txt
@@ -1 +1 @@
-e199a2e0dcdc5d2d5705b717538bb7a1b3060725
+b90ec7881eb0a0ecea6521e3d6cc03bf0b057e41