3 Commits

Author	SHA1	Message	Date
Alexander A. Klimov	1d8cffe9b9	GHA: let GitHub cancel redundant jobs ... This will also cancel not yet finished master builds, but that's not too bad.	2023-01-19 10:47:14 +01:00
Julian Brost	4c4731a461	GitHub Actions: pin Windows Server version to 2019	2022-02-04 14:09:52 +01:00
Alexander A. Klimov	0e038a0916	Split GitHub actions ... ... to allow to re-run a minimum.	2021-07-26 17:38:33 +02:00