Update dependency halmos to v0.1.14 and Python to 3.11 (#5147)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com> Co-authored-by: cairo <cairoeth@protonmail.com>
OpenZeppelin · Aug 22, 2024 · 1edc2ae · 1edc2ae
1 parent 5fc38ba
commit 1edc2ae
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
@@ -10,7 +10,7 @@ on:
   workflow_dispatch: {}
 
 env:
-  PIP_VERSION: '3.10'
+  PIP_VERSION: '3.11'
   JAVA_VERSION: '11'
   SOLC_VERSION: '0.8.20'
 

diff --git a/fv-requirements.txt b/fv-requirements.txt
@@ -1,4 +1,4 @@
 certora-cli==4.13.1
 # File uses a custom name (fv-requirements.txt) so that it isn't picked by Netlify's build
 # whose latest Python version is 0.3.8, incompatible with most recent versions of Halmos
-halmos==0.1.13
+halmos==0.1.14