Fix reporting of cancelled jobs

mrc-ide · May 23, 2024 · 14f1cbc · 14f1cbc
1 parent 142d857
commit 14f1cbc
Showing 1 changed file with 13 additions and 3 deletions.
diff --git a/.github/workflows/touchstone.yaml b/.github/workflows/touchstone.yaml
@@ -122,14 +122,24 @@ jobs:
 
         with:
           script: |
-            let description = process.env.RESULT == "success" ? 'Benchmarking succeeded!'
-                                                              : 'Benchmarking failed!';
+            let description;
+            switch (process.env.RESULT) {
+              case "success":
+                description = 'Benchmarking succeeded!';
+                break;
+              case "cancelled":
+                description = 'Benchmarking was cancelled.';
+                break;
+              default:
+                description = 'Benchmarking failed!';
+                break;
+            }
 
             github.rest.repos.createCommitStatus({
               owner: context.repo.owner,
               repo: context.repo.repo,
               sha: process.env.HEAD_SHA,
-              state: process.env.RESULT,
+              state: process.env.RESULT == "success" ? "success" : "failure",
               target_url: process.env.WORKFLOW_URL,
               description: description,
               context: 'touchstone'