refactor

2022-09-20 16:42:18 +02:00
parent 9aa745e4fe
commit 797ef26bb6
1 changed files with 6 additions and 2 deletions
--- 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