From fa428c10859157f28338e2aa107f28d7b898e52a Mon Sep 17 00:00:00 2001
From: Robert Haschke <rhaschke@techfak.uni-bielefeld.de>
Date: Sun, 23 Feb 2025 17:26:17 +0100
Subject: [PATCH] Skip deploy job if workflow was cancelled

---
 .github/workflows/interactive.yaml | 2 +-
 .github/workflows/nightly.yaml     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/interactive.yaml b/.github/workflows/interactive.yaml
index 84a186cc..80d4b088 100644
--- a/.github/workflows/interactive.yaml
+++ b/.github/workflows/interactive.yaml
@@ -139,7 +139,7 @@ jobs:
 
   deploy:
     needs: [stage-1, stage-2, stage-3]
-    if: success() && vars.DEPLOY_URL
+    if: ${{ !cancelled() && vars.DEPLOY_URL }}
     timeout-minutes: 15
     runs-on: ubuntu-latest
     steps:
diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml
index dbaa611d..5ea76ab2 100644
--- a/.github/workflows/nightly.yaml
+++ b/.github/workflows/nightly.yaml
@@ -39,7 +39,7 @@ jobs:
 
   deploy:
     needs: build
-    if: always() && vars.DEPLOY_URL
+    if: ${{ !cancelled() && vars.DEPLOY_URL }}
     timeout-minutes: 15
     runs-on: ubuntu-latest
     steps: