From be88f058e1f8aa69297abe15b95020ffc1a9c34b Mon Sep 17 00:00:00 2001
From: Idir Lankri <ilankri@protonmail.com>
Date: Mon, 17 Apr 2023 16:53:19 +0200
Subject: [PATCH] [ci] Use the latest version of `actions/checkout`

To avoid the warning about deprecated Node.js 12 actions.  See
https://github.com/ocsigen/ocsigenserver/actions/runs/3672047258.
---
 .github/workflows/workflow.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 5dc017624..7df0a4d1e 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -28,7 +28,7 @@ jobs:
 
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Use OCaml ${{ matrix.ocaml-compiler }}
         uses: ocaml/setup-ocaml@v2