test: try checkout 2

euler-xyz · Feb 21, 2024 · 74cb6ce · 74cb6ce
1 parent 884fc24
commit 74cb6ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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