Merge branch 'master' into use_makefile_instead_of_bash_script_for_ci

peterstace · Jun 3, 2023 · c9ec7ec · c9ec7ec
2 parents 96c4768 + ccce22c
commit c9ec7ec
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: lint
       run: make lint
     - name: unit