diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index b6fb5c3..6ad772f 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -14,7 +14,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       # check out the current version
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v2
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
           submodules: true