diff --git a/.github/workflows/certora_api.yml b/.github/workflows/certora_api.yml index 7c1ad96..a29fcd7 100644 --- a/.github/workflows/certora_api.yml +++ b/.github/workflows/certora_api.yml @@ -29,7 +29,7 @@ jobs: certora_api_command: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: ./api/ with: certora-command: ${{ github.event.inputs.command }} diff --git a/README.md b/README.md index 8998b76..b9f2a41 100644 --- a/README.md +++ b/README.md @@ -277,7 +277,7 @@ jobs: certora_api_command: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v6 - uses: Certora/certora-run-action/api@v2 with: certora-command: ${{ github.event.inputs.command }}