zig

commit d984e7d2fa4a88a86deff36f33c70b2f4ced7d02 (tree)
parent 63b663a63b3d01caa3b51cb53bb1626a282451cb
Author: Alex Rønne Petersen <alex@alexrp.com>
Date:   Fri,  8 Aug 2025 17:15:44 +0200

ci: trigger ci-pr-riscv64-linux workflow on unlabeled events

This way, if the ci-riscv64-linux label was added to a PR previously, removing
it will cause the concurrency group of the workflow to cancel the runs triggered
by the label being added.

Diffstat:
M
.github/workflows/ci-pr-riscv64-linux.yaml
 | 
1
+

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/.github/workflows/ci-pr-riscv64-linux.yaml b/.github/workflows/ci-pr-riscv64-linux.yaml
@@ -6,6 +6,7 @@ on:
       - opened
       - reopened
       - synchronize
+      - unlabeled
 concurrency:
   # Cancels pending runs when a PR gets updated.
   group: riscv64-linux-${{ github.head_ref || github.run_id }}-${{ github.actor }}