From ec3b7d9f5845a3d0a126e918b6cfdf2626628207 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 | 5 ++--- .github/workflows/certora-stata.yml | 4 ++-- 2 files changed, 4 insertions(+), 5 deletions(-) diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml index 4e418d0e..e1abcc59 100644 --- a/.github/workflows/certora-basic.yml +++ b/.github/workflows/certora-basic.yml @@ -28,14 +28,13 @@ jobs: - 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 + uses: actions/setup-java@v4 with: { java-version: "11", java-package: jre } - name: Install certora cli diff --git a/.github/workflows/certora-stata.yml b/.github/workflows/certora-stata.yml index 04714798..559d5e2f 100644 --- a/.github/workflows/certora-stata.yml +++ b/.github/workflows/certora-stata.yml @@ -20,11 +20,11 @@ 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 + uses: actions/setup-java@v4 with: { java-version: "11", java-package: jre } - name: Install certora cli