Maximilian Federle f4ad82055e CI: Support cancelling, update actions & prevent draft releases ... Allow the workflow to be cancelled without running all remaining jobs. On invocation of the workflow, cancel concurrent runs of older commits automatically. Replace unmaintained release action with recommended alternative. After much testing, I found that the problem of releases being created as draft releases can be traced to a consistency issue/race condition on GitHub's side. Prevent this by inserting a generous delay between deleting and re-creating the edge release.		2021-04-09 17:43:31 -04:00
..
scripts	Combine arm64 and x86_64 libomp libraries	2021-04-04 14:46:32 -04:00
workflows	CI: Support cancelling, update actions & prevent draft releases	2021-04-09 17:43:31 -04:00
ISSUE_TEMPLATE.md	Update ISSUE_TEMPLATE.md (#859)	2021-01-09 12:41:23 -05:00