diff --git a/.github/workflows/verification.yml b/.github/workflows/verification.yml
index 4c9be5a396..73398e54a7 100644
--- 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