Revert "Upgrade python-version"

This reverts commit 61e8ab7.
ernestognw · May 14, 2024 · 05d479d · 05d479d
1 parent 61e8ab7
commit 05d479d
Showing 1 changed file with 1 addition and 1 deletion.
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.11'
+  PIP_VERSION: '3.10'
   JAVA_VERSION: '11'
   SOLC_VERSION: '0.8.20'