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 |
|