aboutsummaryrefslogtreecommitdiff
path: root/mod/build.cxx
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2024-12-12 14:22:18 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2024-12-13 11:09:58 +0200
commit4108a65af34829c5dd7e350ca1058eb4e0e4eee4 (patch)
treecc8e84e64951172a168f3633361e601bb256dc8d /mod/build.cxx
parentd50e2ae861180d6f965b0c4dee4d401d01f571b5 (diff)
ci-github: Cancel CI when history is overwritten
Cancel CI for previous, now-overwritten head commit when a forced push is done.
Diffstat (limited to 'mod/build.cxx')
0 files changed, 0 insertions, 0 deletions