From 197f976676359d4a6014855bee42264fe7f1f129 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D9=85=D8=B5=D8=B7=D9=81=D9=8A=20=D9=85=D8=AD=D9=85=D9=88?=
 =?UTF-8?q?=D8=AF=20=D9=83=D9=85=D8=A7=D9=84=20=D8=A7=D9=84=D8=AF=D9=8A?=
 =?UTF-8?q?=D9=86?= <48567303+moste00@users.noreply.github.com>
Date: Fri, 11 Oct 2024 22:21:31 +0300
Subject: [PATCH] attempt #2 to fix CI and fix hash to point to the new sail
 model version

---
 .github/workflows/end2end-smoke-test.yml | 3 +--
 sail.hash.txt                            | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/end2end-smoke-test.yml b/.github/workflows/end2end-smoke-test.yml
index 410be4d..0de424d 100644
--- 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
index 5811830..5f5d881 100644
--- a/sail.hash.txt
+++ b/sail.hash.txt
@@ -1 +1 @@
-e199a2e0dcdc5d2d5705b717538bb7a1b3060725
\ No newline at end of file
+b90ec7881eb0a0ecea6521e3d6cc03bf0b057e41
\ No newline at end of file