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
Daniel Stenberg	805796ed0b	GHA: shorten the reuse CI job name ... "REUSE compliance / check" should be good enough Closes #9000	2022-06-13 10:09:15 +02:00
max.mehl	ad9bc5976d	copyright: make repository REUSE compliant ... Add licensing and copyright information for all files in this repository. This either happens in the file itself as a comment header or in the file `.reuse/dep5`. This commit also adds a Github workflow to check pull requests and adapts copyright.pl to the changes. Closes #8869	2022-06-13 09:13:00 +02:00