From 8eac14156ea8567e4e94464ef97f692eb43009ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Blanqui?= <frederic.blanqui@inria.fr>
Date: Mon, 22 Jan 2024 19:03:42 +0100
Subject: [PATCH] Bump actions/checkout from 3 to 4

---
 .github/workflows/main.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index a5e92521e..0fb5cc31a 100644
--- 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 }}