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
..
codeql	Add: enable CodeQL code scanning	2023-01-14 21:58:18 +01:00
ISSUE_TEMPLATE	Change: [GitHub] use an issue form to let people fill in bug report / crashes (#9400)	2021-06-26 13:51:29 +02:00
workflows	Change: [Actions] cancel previous run if pushing new PR	2023-02-26 23:33:15 +01:00
changelog.sh	Fix: [Actions] changelog assumed major.minor.patch versioning (#9482)	2021-08-15 14:14:13 +02:00
FUNDING.yml	Add: [GitHub] sponsor button on github.com (#7700)	2019-08-31 21:20:24 +02:00
PULL_REQUEST_TEMPLATE.md	Doc: guidelines on english.txt or translation changes in PRs. (#9505)	2021-08-22 14:27:48 +02:00
unused-strings.py	Codechange: validate that all STR_NNN strings are defined and used (#9518)	2021-09-02 22:32:10 +02:00