4 Commits

Author SHA1 Message Date
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