From 7b3be3e42b1b6f09a451ed832d4e4044a11c884f Mon Sep 17 00:00:00 2001
From: Ryan Doenges <me@ryandoeng.es>
Date: Thu, 20 Jul 2023 15:29:11 -0400
Subject: [PATCH] use checkout@v3 for actions/checkout#1048 fix

---
 .github/workflows/verification.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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