You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
OpenTTD-patches/.github
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.
1 year ago
..
ISSUE_TEMPLATE Change: [GitHub] use an issue form to let people fill in bug report / crashes (#9400) 3 years ago
codeql Add: enable CodeQL code scanning 1 year ago
workflows Change: [Actions] cancel previous run if pushing new PR 1 year ago
FUNDING.yml Add: [GitHub] sponsor button on github.com (#7700) 5 years ago
PULL_REQUEST_TEMPLATE.md Doc: guidelines on english.txt or translation changes in PRs. (#9505) 3 years ago
changelog.sh Fix: [Actions] changelog assumed major.minor.patch versioning (#9482) 3 years ago
unused-strings.py Codechange: validate that all STR_NNN strings are defined and used (#9518) 3 years ago