From 1880b7b4e764de93f779890b5b14c83b549bd6ef Mon Sep 17 00:00:00 2001
From: Ian Roberts <i.roberts@dcs.shef.ac.uk>
Date: Wed, 6 Nov 2024 13:06:39 +0000
Subject: [PATCH] Upgrade other actions to latest releases.

---
 .github/workflows/ci.yaml           | 8 ++++----
 .github/workflows/pull-request.yaml | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index bd0d0b6..64b6edd 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -24,10 +24,10 @@ jobs:
 
     steps:
       - name: Checkout Master Branch
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Setup Pages
-        uses: actions/configure-pages@v2
+        uses: actions/configure-pages@v5
         continue-on-error: true
         # This step may error out when run in a fork that doesn't have pages
         # enabled - if this happens, run the rest but skip anything that
@@ -36,7 +36,7 @@ jobs:
         # to subsequent steps, so we can condition on that.
 
       - name: Set up JDK 8
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           java-version: '8'
           distribution: 'zulu'
@@ -149,7 +149,7 @@ jobs:
 
     steps:
       - name: "Trigger gate-top"
-        uses: actions/github-script@v6
+        uses: actions/github-script@v7
         with:
           github-token: ${{ secrets.GATE_TOP_TOKEN }}
           script: |
diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
index 01e13cf..c76b7a6 100644
--- a/.github/workflows/pull-request.yaml
+++ b/.github/workflows/pull-request.yaml
@@ -11,10 +11,10 @@ jobs:
 
     steps:
       - name: Checkout PR
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set up JDK 8
-        uses: actions/setup-java@v3
+        uses: actions/setup-java@v4
         with:
           java-version: '8'
           distribution: 'zulu'