From 639a1ba740dd11f74aa4bc5970a0e6a594f002e3 Mon Sep 17 00:00:00 2001
From: Ian Roberts <i.roberts@dcs.shef.ac.uk>
Date: Wed, 6 Nov 2024 13:06:17 +0000
Subject: [PATCH 1/2] Upgrade upload-artifact action to v4, as v3 will soon
 stop working

Also upgraded upload-pages-artifact, as it has a transitive dependency on upload-artifact, and deploy-pages to work with the upgraded upload-pages-artifact
---
 .github/workflows/ci.yaml           | 4 ++--
 .github/workflows/pull-request.yaml | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index b717337..bd0d0b6 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -111,7 +111,7 @@ jobs:
 
       - name: Upload artifact
         if: env.GITHUB_PAGES == 'true'
-        uses: actions/upload-pages-artifact@v1
+        uses: actions/upload-pages-artifact@v3
         with:
           # Upload entire repository
           path: 'target/site'
@@ -139,7 +139,7 @@ jobs:
 
       - name: Deploy site to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v1
+        uses: actions/deploy-pages@v4
         if: env.GITHUB_PAGES == 'true'
 
   downstream:
diff --git a/.github/workflows/pull-request.yaml b/.github/workflows/pull-request.yaml
index cc4df26..01e13cf 100644
--- a/.github/workflows/pull-request.yaml
+++ b/.github/workflows/pull-request.yaml
@@ -72,7 +72,7 @@ jobs:
 
       - name: Upload Test Results
         if: success() || failure()
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: Test Results
           path: |
@@ -86,7 +86,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Upload
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: Event File
           path: ${{ github.event_path }}

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 2/2] 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'