3 Commits

Author	SHA1	Message	Date
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
Marc Hoersken	0af3edfef8	GHA: prepare workflow merge by aligning structure again ... Closes #9413	2022-09-10 14:51:20 +02:00
Daniel Stenberg	472369f589	GHA: mv CI torture test from Zuul ... Closes #9310	2022-08-16 08:54:09 +02:00