From bf2c5cb6aa69819c6547f8e32849f6c54b031123 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 | 9 ++------- .github/workflows/certora-stata.yml | 4 ++-- 2 files changed, 4 insertions(+), 9 deletions(-) diff --git a/.github/workflows/certora-basic.yml b/.github/workflows/certora-basic.yml index 4e418d0e..bc9a3954 100644 --- a/.github/workflows/certora-basic.yml +++ b/.github/workflows/certora-basic.yml @@ -25,17 +25,12 @@ 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 + 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