diff options
| author | Ralf Jung <post@ralfj.de> | 2019-07-23 10:54:30 +0200 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-07-23 15:36:51 -0500 |
| commit | 82d18412d1478a5c2db8bf6ed6c32e4b1c668dfe (patch) | |
| tree | 533e7de814ea38d79407b500ee7250a02b44fd08 | |
| parent | 92d432a0c710dfabf507de24ab95e491dc6a7449 (diff) | |
| download | rust-82d18412d1478a5c2db8bf6ed6c32e4b1c668dfe.tar.gz rust-82d18412d1478a5c2db8bf6ed6c32e4b1c668dfe.zip | |
more comments
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 1 | ||||
| -rwxr-xr-x | src/tools/publish_toolstate.py | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index db10c84a997..e0de51e2cb0 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -112,6 +112,7 @@ change_toolstate() { echo 'Toolstate is not changed. Not updating.' else if [ $SIX_WEEK_CYCLE -ge 35 ]; then + # Reject any regressions during the week before beta cutoff. python2.7 "$CHECK_NOT" "$OS" "$TOOLSTATE_FILE" "_data/latest.json" regressed fi sed -i "1 a\\ diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 0f1ae5e0eb2..b8dcba3afc3 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -1,7 +1,10 @@ #!/usr/bin/env python # -*- coding: utf-8 -*- -## This is set as callback for `src/ci/docker/x86_64-gnu-tools/repo.sh` by the CI scripts +## 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`). import sys |