From dc80f094fca1243f96b2836bba11e24fed10c329 Mon Sep 17 00:00:00 2001 From: Michael M Date: Mon, 18 Nov 2024 20:00:21 +0200 Subject: [PATCH] bumping up action versions for python and java --- .github/workflows/certora-basic.yml | 11 +++-------- .github/workflows/certora-stata.yml | 6 +++--- 2 files changed, 6 insertions(+), 11 deletions(-) diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml index 4e418d0e..98e04274 100644 --- 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 index 04714798..ea717d18 100644 --- a/.github/workflows/certora-stata.yml +++ b/.github/workflows/certora-stata.yml @@ -20,12 +20,12 @@ jobs: 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