rust/src/ci
bors 428636f954 Auto merge of #84997 - pietroalbini:ci-verify-channel, r=Mark-Simulacrum
Error out if a PR is sent to the wrong channel

It happened multiple times that a PR meant to go on beta ends up being opened (and occasionally merged) to master. This PR does two things:

* Moves the definition of the channel in `src/ci/channel` so it's easier for tools to read it. I was not sure whether to move it to `src/channel` (like `src/version`): ended up with `src/ci` as it's currently only used for CI, but I'm open to moving it to `src`. We'll need to update the release process after this.
* Adds a check on **non-bors** builds that errors out if the base branch is not the expected one for the currently defined channel. This will not cause problems for promotion PRs, as those PRs are meant to also update the channel name.

r? `@Mark-Simulacrum`
2021-05-15 05:20:49 +00:00
..
azure-pipelines ci: stop running macOS builds on Azure Pipelines 2020-10-02 16:15:05 +02:00
docker Build sanitizers for x86_64-unknown-linux-musl 2021-04-25 14:02:34 +08:00
github-actions ci: error out if someone sends a PR to the wrong branch 2021-05-06 18:47:37 +02:00
scripts Auto merge of #84997 - pietroalbini:ci-verify-channel, r=Mark-Simulacrum 2021-05-15 05:20:49 +00:00
channel move the current channel to src/ci/channel 2021-05-06 17:11:12 +02:00
cpu-usage-over-time.py remove unnecessary semicolons 2020-02-07 23:35:27 -05:00
init_repo.sh ignore shellcheck error SC2068 2020-11-06 20:33:12 +09:00
pgo.sh update perf version used for PGO 2021-05-10 14:39:28 +02:00
publish_toolstate.sh more toolstate comments 2020-03-04 08:30:26 -08:00
run.sh move the current channel to src/ci/channel 2021-05-06 17:11:12 +02:00
shared.sh ci: error out if someone sends a PR to the wrong branch 2021-05-06 18:47:37 +02:00