]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14d50bf) | patch
Do not push a commit if the toolstate is unchanged.
authorkennytm <kennytm@gmail.com>
Sat, 9 Jun 2018 14:49:02 +0000 (22:49 +0800)
committerkennytm <kennytm@gmail.com>
Sat, 9 Jun 2018 20:31:49 +0000 (04:31 +0800)
commitd2b5b7603b6b7ecb4ff93981c785aef640015e68
tree4a240d3e625f50d85163363526daa84ab659ff8btree | snapshot
parent14d50bfecb569aee7ee42430f50d46252b303d24commit | diff
Do not push a commit if the toolstate is unchanged.

This should greatly reduce the commits on the rust-toolstate repository.

`publish_toolstate.py` defaults to keep the old status if a new one is not
found, so nothing needs to be changed to that file.
src/ci/docker/x86_64-gnu-tools/checkregression.py diff | blob | history
src/ci/docker/x86_64-gnu-tools/checktools.sh diff | blob | history
Empowering everyone to build reliable and efficient software.