From 797ef26bb6c819d8fcb3917ecf9cab0928255942 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Tue, 20 Sep 2022 16:42:18 +0200
Subject: [PATCH] refactor

---
 .github/workflows/formal-verifiation.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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