From 28f385a7084f2199b4c1af9ccfead24275cf21e4 Mon Sep 17 00:00:00 2001
From: Colin Kiama <colinkiama@gmail.com>
Date: Mon, 1 Apr 2024 22:05:01 +0100
Subject: [PATCH] Use old checkout actions version

---
 .github/workflows/pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index 7ea271a..78b57e2 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -21,7 +21,7 @@ jobs:
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:
       # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v3
 
       # Runs a set of commands using the runners shell
       - name: Build