move to version 6.1.0

Certora · Dec 27, 2023 · e5feac7 · e5feac7
1 parent e8dd997
commit e5feac7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/certora-review-voting-chain.yml b/.github/workflows/certora-review-voting-chain.yml
@@ -30,7 +30,7 @@ jobs:
         with: { java-version: "11", java-package: jre }
 
       - name: Install certora cli
-        run: pip3 install certora-cli-beta==6.0.0
+        run: pip3 install certora-cli-beta==6.1.0
 
       - name: Install solc
         run: |