diff options
| author | Petr Štetiar <ynezz@true.cz> | 2023-05-26 16:25:28 +0200 |
|---|---|---|
| committer | Petr Štetiar <ynezz@true.cz> | 2023-05-26 19:42:30 +0200 |
| commit | 86107a647cb0a7f37c04dd7ab0cd79f547fafaf7 (patch) | |
| tree | 77231dcf2a7d5e34453aed2cf279eca2463d0656 /types.c | |
| parent | 77c961e20eda30c93fcee27e9137d5983c4c93d6 (diff) | |
ci: cancel concurrent builds
To save some build resources, lets cancel ongoing builds after
force pushing new sources into the pull request branch.
Signed-off-by: Petr Štetiar <ynezz@true.cz>
Diffstat (limited to 'types.c')
0 files changed, 0 insertions, 0 deletions