Alexander A. Klimov
a019c63bd6
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-24 17:26:57 +01:00
Johannes Meyer
b06fe7af4e
Run only a single job per workflow matrix at a time
...
This limits each run of these workflows to a single
active matrix job. This means, for each PR, merge or
release only five jobs run concurrently.
2023-02-14 12:14:44 +01:00
Alexander A. Klimov
b02af91420
GHA: let GitHub cancel redundant jobs
...
This will also cancel not yet finished master builds, but that's not too bad.
2023-02-14 12:14:44 +01:00
Julian Brost
c624c73274
GitHub Actions: pin Windows Server version to 2019
2022-02-18 16:09:20 +01:00
Alexander A. Klimov
0e038a0916
Split GitHub actions
...
... to allow to re-run a minimum.
2021-07-26 17:38:33 +02:00
