diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 6248f7d05..2d3ddc648 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -26,10 +26,14 @@ jobs:
       - uses: actions/checkout@v2
       - name: Install python
         uses: actions/setup-python@v2
-        with: { python-version: 3.8, cache: 'pip' }
+        with:
+          python-version: '3.10'
+          cache: 'pip'
       - name: Install java
         uses: actions/setup-java@v1
-        with: { java-version: '11', java-package: jre }
+        with:
+          java-version: '11'
+          java-package: 'jre'
       - name: Install certora
         run: pip install certora-cli
       - name: Install solc