Upgrade actions/checkout in CI

In particular, this uses Node 16 rather than Node 12 (which has been deprecated on Github).
peterstace · May 31, 2023 · 4616d9c · 4616d9c
1 parent 98c7404
commit 4616d9c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -5,7 +5,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v2
+    - uses: actions/checkout@v3
     - name: CI
       run: |
         "$GITHUB_WORKSPACE/.ci/run_ci.sh"