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

..

docker.yml

GHA: cancel runs on PR, but not on push

2023-11-17 15:54:03 +01:00

linux.bash

GHA: add Amazon Linux 2023

2023-07-06 14:21:03 +02:00

linux.yml

GHA: cancel runs on PR, but not on push

2023-11-17 15:54:03 +01:00

rpm.yml

GHA: cancel runs on PR, but not on push

2023-11-17 15:54:03 +01:00

windows.yml

GHA: cancel runs on PR, but not on push

2023-11-17 15:54:03 +01:00