use checkout@v3 for actions/checkout#1048 fix

calyxir · Jul 20, 2023 · 7b3be3e · 7b3be3e
1 parent 8ad4f1b
commit 7b3be3e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/verification.yml b/.github/workflows/verification.yml
@@ -15,7 +15,7 @@ jobs:
     container: ghcr.io/cucapra/calyx:latest
     steps:
     - name: Checkout
-      uses: actions/checkout@v2
+      uses: actions/checkout@v3
     - name: Get bwrap for opam
       run: |
         apt-get update -y