Merge branch 'certora-squashed' into certora

Certora · Nov 18, 2024 · 44ca6db · 44ca6db
2 parents a07d6c7 + ebd958b
commit 44ca6db
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 12 deletions.
diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml
@@ -25,18 +25,13 @@ jobs:
     steps:
       - uses: actions/checkout@v4
 
-      - name: Check key
-        env:
-          CERTORAKEY: ${{ secrets.CERTORAKEY }}
-        run: echo "key length" ${#CERTORAKEY}
-
       - name: Install python
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
-        uses: actions/setup-java@v1
-        with: { java-version: "11", java-package: jre }
+        uses: actions/setup-java@v4
+        with: { distribution: "zulu", java-version: "11", java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==7.14.2

diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml
@@ -15,17 +15,17 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
         with:
           submodules: recursive
 
       - name: Install python
-        uses: actions/setup-python@v2
+        uses: actions/setup-python@v5
         with: { python-version: 3.9 }
 
       - name: Install java
-        uses: actions/setup-java@v1
-        with: { java-version: "11", java-package: jre }
+        uses: actions/setup-java@v4
+        with: { distribution: "zulu", java-version: "11", java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==7.14.2