From 928dd86bcb78d9bd01d89094e332c5a5b957f4d2 Mon Sep 17 00:00:00 2001
From: Alasdair <alasdair.armstrong@cl.cam.ac.uk>
Date: Fri, 7 Apr 2023 15:54:55 +0100
Subject: Some simple CI housekeeping

Update the versions of some of the Github actions, as some of the older
action versions used parts of the github API that are deprecated and
due to be removed.
---
 .github/workflows/compile.yml      | 4 ++--
 .github/workflows/test-results.yml | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index fa3d1c4..ea36378 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -22,13 +22,13 @@ jobs:
       run: eval $(opam env) && test/run_tests.sh
     - name: Upload test results
       if: always()
-      uses: actions/upload-artifact@v2
+      uses: actions/upload-artifact@v3
       with:
         name: tests.xml
         path: test/tests.xml
     - name: Upload event payload
       if: always()
-      uses: actions/upload-artifact@v2
+      uses: actions/upload-artifact@v3
       with:
         name: event.json
         path: ${{ github.event_path }}
diff --git a/.github/workflows/test-results.yml b/.github/workflows/test-results.yml
index 65071cd..4201d46 100644
--- a/.github/workflows/test-results.yml
+++ b/.github/workflows/test-results.yml
@@ -12,11 +12,11 @@ jobs:
     if: github.event.workflow_run.conclusion != 'skipped'
     steps:
     - name: Download artifacts
-      uses: actions/github-script@v3.1.0
+      uses: actions/github-script@v6
       with:
         script: |
           var fs = require('fs');
-          var artifacts = await github.actions.listWorkflowRunArtifacts({
+          var artifacts = await github.rest.actions.listWorkflowRunArtifacts({
              owner: context.repo.owner,
              repo: context.repo.repo,
              run_id: ${{github.event.workflow_run.id }},
@@ -27,7 +27,7 @@ jobs:
           var count = matchArtifacts.length;
           for (var i = 0; i < count; i++) {
             var matchArtifact = matchArtifacts[i];
-            var download = await github.actions.downloadArtifact({
+            var download = await github.rest.actions.downloadArtifact({
                owner: context.repo.owner,
                repo: context.repo.repo,
                artifact_id: matchArtifact.id,
@@ -43,7 +43,7 @@ jobs:
     - name: Extract event payload
       run: unzip event.json.zip
     - name: Publish test results
-      uses: EnricoMi/publish-unit-test-result-action@v1
+      uses: EnricoMi/publish-unit-test-result-action@v2
       with:
         commit: ${{ github.event.workflow_run.head_sha }}
         event_file: event.json
-- 
cgit v1.1