cargo/.github/workflows
David Rheinsberg cdc7c1be02 ci/contrib: use separate concurrency group
Run the contrib workflow in its own concurrency group to avoid multiple
runs causing conflicting git pushes.

The contrib workflow pushes to the gh-pages branch, and thus is not safe
to be run multiple times in parallel. Given that github-actions can
stall workflow runs for quite some time, multiple executions can
overtake each other. By using concurrency groups, all workflow runs will
wait until previous runs completed.

We explicitly disable cancellation to get better diagnostics and more
easily find the first possible run that failed. Since these workflow
runs are rather fast, and only run on master, cancellation seems not
necessary.
2023-10-17 16:02:03 +02:00
..
audit.yml chore(deps): update actions/checkout action to v4 2023-10-01 03:07:56 +00:00
contrib.yml ci/contrib: use separate concurrency group 2023-10-17 16:02:03 +02:00
main.yml Auto merge of #12795 - weihanglo:semver-checks, r=ehuss 2023-10-08 21:15:54 +00:00