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
..
ISSUE_TEMPLATE	Merge commit '30448e8cf9' into clippyup	2023-06-02 11:41:57 +02:00
workflows	set concurrency for the deploy job (#14448)	2025-03-23 12:15:07 +00:00
deploy.sh	Also deploy index.html file on release	2025-01-09 18:24:02 +01:00
driver.sh	Merge remote-tracking branch 'upstream/master' into rustup	2025-01-28 19:14:45 +01:00
PULL_REQUEST_TEMPLATE.md	Merge commit 'fdb84cbfd2' into clippyup	2022-07-18 09:39:37 +02:00