Philipp Krones e9aed8764e set concurrency for the deploy job (#14448) ... In the current GitHub Actions CI/CD setup, the `deploy` job is not triggered when a PR is enqueued in the merge queue but only when it is merged. Since concurrency is not configured for this job, deployments may fail for later PRs if multiple PRs are merged in quick succession. (e.g. the deployment for [this commit](c418714518) was successful, but the deployment for [this commit](0a141ab7b8) that was pushed to `main` immediately afterward failed. (edit: the latter deployment seems to be rerun)) changelog: none r? flip1995		2025-03-23 12:15:07 +00:00
..
clippy_changelog.yml	set default changelog messages to fail the changelog CI	2025-01-24 11:47:21 +09:00
clippy_dev.yml	Make CI a little bit safer	2025-01-03 00:44:35 +01:00
clippy_mq.yml	add macos-latest as a CI target	2025-03-03 22:31:36 +09:00
clippy_pr.yml	CI: be compatible with both Rustup pre-1.28.0 and 1.28.0	2025-01-04 23:12:32 +01:00
deploy.yml	set concurrency for the deploy job	2025-03-23 21:08:41 +09:00
lintcheck.yml	Use a lintcheck specific Clippy configuration file in the CI	2025-02-27 22:27:00 +01:00
remark.yml	Use the latest nightly rust to run linkcheck	2025-03-04 08:50:26 +01:00