Marc Hoersken 4e6893307b CI/GHA: cancel outdated CI runs on new PR changes ... Avoid letting outdated CI runs continue if a PR receives new changes. Outside a PR we let them continue running by tying the concurrency to the commit hash instead. Also only let one CodeQL or Hacktoberfest job run at a time. Other CI platforms we use have this build in, but GitHub unfortunately neither by default nor with a simple option. This saves CI resources and therefore a little energy. Approved-by: Daniel Stenberg Approved-by: Max Dymond Closes #9533		2022-09-19 21:21:04 +02:00
..
ISSUE_TEMPLATE	bug_report.md: revert the REUSE template to see if it works again	2022-06-13 23:41:07 +02:00
workflows	CI/GHA: cancel outdated CI runs on new PR changes	2022-09-19 21:21:04 +02:00
CODEOWNERS	github: initial CODEOWNERS setup for CI configuration	2022-09-15 22:40:40 +02:00
CONTRIBUTING.md	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
FUNDING.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
lock.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00
stale.yml	copyright: make repository REUSE compliant	2022-06-13 09:13:00 +02:00