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 /libbrep/wrapper-traits.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 'libbrep/wrapper-traits.hxx')
0 files changed, 0 insertions, 0 deletions