From ee1620f519a2545b717ab9cb19ee7c849c0b45e5 Mon Sep 17 00:00:00 2001
From: Lorenzo Zabot <lorenzozabot@gmail.com>
Date: Mon, 11 Sep 2023 09:47:08 +0200
Subject: [PATCH] Bump github actions/checkout to v4

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 22a9ffcb..60c6a01a 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -8,10 +8,10 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     permissions:
-      contents: write  # To push a branch 
+      contents: write  # To push a branch
       pull-requests: write  # To create a PR from that branch
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
       with:
         fetch-depth: 0
     - name: Install mdbook