diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2024-05-15 15:48:52 +0200 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2024-05-15 15:48:52 +0200 |
| commit | 7b6a3d029bf2884126aad7c5d718b1f7eeab3980 (patch) | |
| tree | eecd2a910e1931dfcf8f75f5bcd37904ce90c459 /src/tools/publish_toolstate.py | |
| parent | fba5f44bd880b83245f7d30afe55bf745a88cdf0 (diff) | |
| download | rust-7b6a3d029bf2884126aad7c5d718b1f7eeab3980.tar.gz rust-7b6a3d029bf2884126aad7c5d718b1f7eeab3980.zip | |
CI: fix toolstate publishing
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index f9421117eaa..860d21876de 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -3,8 +3,7 @@ # 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`). +# It gets called from `src/ci/publish_toolstate.sh` at the end of an `auto` build. from __future__ import print_function |