Alexander A. Klimov 0fe13051b7 GHA: cancel runs on PR, but not on push ... In a PR one top commit replaces the previous one. But the central branches are more like timelines. It's nice to have red crosses in a such timeline as clear indicators that something was actually broken.		2023-11-17 15:54:03 +01:00
..
ISSUE_TEMPLATE	Merge pull request #9826 from Icinga/Al2Klimov-patch-9	2023-08-01 10:31:07 +02:00
workflows	GHA: cancel runs on PR, but not on push	2023-11-17 15:54:03 +01:00