Merge pull request #65 from Peiyang-Song/main

Bump CI from Node 16 to Node 20
lean-dojo · Apr 4, 2024 · 0f15707 · 0f15707
2 parents 4e2cebe + 205510f
commit 0f15707
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push_pr.yml b/.github/workflows/push_pr.yml
@@ -15,7 +15,7 @@ jobs:
     name: Build
     steps:
       - name: Checkout project
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           fetch-depth: 0
       - name: Install Git LFS