feat: cancel orca if caller is cancelled

Author: c-dilks

.github/workflows/orca.yml

@@ -55,8 +55,7 @@ jobs:
     needs:
       - orca_trigger
     steps:
-      - name: trigger orca pipeline
-        id: trigger
+      - name: wait for orca pipeline
         env:
           TIMEOUT: 3600
           SLEEP_INTERVAL: 60
@@ -103,3 +102,23 @@ jobs:
           done
           echo "Timeout waiting for pipeline to complete"
           exit 1
+      - name: cancel pipeline if caller is cancelled
+        if: cancelled() && needs.orca_trigger.outputs.pipeline_id
+        run: |
+          echo "GitHub workflow was cancelled, cancelling orca pipeline..."
+          response=$(curl \
+            --silent \
+            --show-error \
+            --write-out "\n%{http_code}" \
+            --request POST \
+            --header "PRIVATE-TOKEN: ${{ secrets.ORCA_READ_TOKEN }}" \
+            "https://code.jlab.org/api/v4/projects/${{ secrets.ORCA_PROJECT_ID }}/pipelines/${{ needs.orca_trigger.outputs.pipeline_id }}/cancel")
+          http_code=$(echo "$response" | tail -n1)
+          response_body=$(echo "$response" | sed '$d')
+          if [ "$http_code" -eq 200 ] || [ "$http_code" -eq 201 ]; then
+            echo "GitLab pipeline cancelled successfully"
+          else
+            echo "Failed to cancel GitLab pipeline (HTTP $http_code)"
+            echo "Response: $response_body"
+            exit 1
+          fi