5 Commits (c80fa7d7524b7869f6c9ea97dad0e74a826635be)

Author	SHA1	Message	Date
Patric Stout	6fcc8727f5	Change: [Actions] cancel previous run if pushing new PR ... Lately we had a few times that people pushed to their PR branch a few times to make small changes. Sadly, this triggers all CIs every time, which takes ~20 minutes. As we are limited in the amount of runners we get assigned to us, this means all other CI, even for other repositories within OpenTTD, are delayed too. We can avoid this by simply cancelling old runs when a new PR is pushed. There is a downside: sometimes people already push a new commit, but still want to know if the old one passed. That will no longer be possible with this change.	2023-02-26 23:33:15 +01:00
Frazer Smith	9162ac9d37	Update: bump actions/checkout from 2 to 3	2022-05-14 16:58:10 +02:00
Patric Stout	3477405e86	Change: [Actions] use newly created Actions instead of custom shell-scripting (#9284)	2021-05-20 19:12:33 +02:00
glx22	e2eafd86de	Fix: Prevent infinite recursion in commit checker	2020-12-10 01:08:44 +01:00
glx	fb3de33a38	Add: [Actions] commit-checker workflow	2020-01-19 09:05:20 +00:00