From ff1427a1614daa4278f76dae98ff0750fc513b89 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Tue, 16 Apr 2024 17:20:21 +0200 Subject: [PATCH] chore: bump action setup python --- .github/workflows/certora.yml | 2 +- .github/workflows/halmos.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml index 81d64a0c..1ed55f2e 100644 --- a/.github/workflows/certora.yml +++ b/.github/workflows/certora.yml @@ -34,7 +34,7 @@ jobs: submodules: recursive - name: Install python - uses: actions/setup-python@v4 + uses: actions/setup-python@v5 with: python-version: ">=3.9" diff --git a/.github/workflows/halmos.yml b/.github/workflows/halmos.yml index f32231fe..ef6b6fe2 100644 --- a/.github/workflows/halmos.yml +++ b/.github/workflows/halmos.yml @@ -17,7 +17,7 @@ jobs: submodules: recursive - name: Install python - uses: actions/setup-python@v4 + uses: actions/setup-python@v5 with: python-version: ">=3.9"