diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-12 16:32:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-12 16:32:15 +0100 |
| commit | 3d23de7bafffa6f331b59ce775327bb4aa343166 (patch) | |
| tree | e15c2a68015ecbf718de0a41df6bf1c9219d3ab1 /src/tools | |
| parent | 9bc738697003db452a1a169dbddc74fe6237a02d (diff) | |
| parent | a41f1f128ee9fbe595a588b9b91d545a895f5c39 (diff) | |
| download | rust-3d23de7bafffa6f331b59ce775327bb4aa343166.tar.gz rust-3d23de7bafffa6f331b59ce775327bb4aa343166.zip | |
Rollup merge of #69705 - ehuss:toolstate-remove-redundant-beta, r=Mark-Simulacrum
Toolstate: remove redundant beta-week check. I made a bit of a mistake in #69624. The "beta regression" doesn't need to be checked twice. I also rolled up #69693 to avoid merge conflicts.
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 5fbb986286a..b389cd0373c 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -1,11 +1,10 @@ #!/usr/bin/env python # -*- coding: utf-8 -*- -# This script publishes the new "current" toolstate in the toolstate repo (not to be -# confused with publishing the test results, which happens in -# `src/ci/docker/x86_64-gnu-tools/checktools.sh`). -# It is set as callback for `src/ci/docker/x86_64-gnu-tools/repo.sh` by the CI scripts -# when a new commit lands on `master` (i.e., after it passed all checks on `auto`). +# This script computes the new "current" toolstate for the toolstate repo (not to be +# confused with publishing the test results, which happens in `src/bootstrap/toolstate.rs`). +# It gets called from `src/ci/publish_toolstate.sh` when a new commit lands on `master` +# (i.e., after it passed all checks on `auto`). from __future__ import print_function |