diff options
author | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-12 14:22:18 +0200 |
---|---|---|
committer | Francois Kritzinger <francois@codesynthesis.com> | 2024-12-13 11:09:58 +0200 |
commit | 4108a65af34829c5dd7e350ca1058eb4e0e4eee4 (patch) | |
tree | cc8e84e64951172a168f3633361e601bb256dc8d /mod/page.hxx | |
parent | d50e2ae861180d6f965b0c4dee4d401d01f571b5 (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/page.hxx')
0 files changed, 0 insertions, 0 deletions