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

@@ -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 }}

.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