Bump actions/checkout from 3 to 4

fblanqui · Jan 22, 2024 · 8eac141 · 8eac141
1 parent b18c342
commit 8eac141
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -12,9 +12,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: checking out lambdapi repo ...
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
       - name: recovering cached opam files ...
-        uses: actions/cache@v2
+        uses: actions/cache@v4
         with:
           path: ~/.opam
           key: ${{ runner.os }}-ocaml-${{ matrix.ocaml-version }}