From 641ffbed987b1a0c4e6e9120d4bfbf8cd3fffc59 Mon Sep 17 00:00:00 2001
From: Benjamin Sherman <bsherman@users.noreply.github.com>
Date: Sun, 23 Apr 2023 13:34:03 -0500
Subject: [PATCH] chore: allow proper workflow cancelling (#36)

---
 .github/workflows/build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 2c838a7..9a3f1a5 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -196,7 +196,7 @@ jobs:
   build_main:
     name: Build uCore
     runs-on: ubuntu-22.04
-    if: ${{ always() }}
+    if: always() && !cancelled()
     needs: [ build_info, build_zfs ]
     permissions:
       contents: read
@@ -339,7 +339,7 @@ jobs:
   build_hci:
     name: Build HCI
     runs-on: ubuntu-22.04
-    if: ${{ always() }}
+    if: always() && !cancelled()
     needs: [ build_info, build_main ]
     permissions:
       contents: read