| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2018-02-18 | Disable miri build-check for beta. | Mark Simulacrum | -1/+0 | |
| 2018-02-05 | Update clippy and miri submodule | Oliver Schneider | -1/+1 | |
| 2017-12-30 | Requires tools to test-pass if the corresponding submodule is updated. | kennytm | -1/+23 | |
| If a PR intends to update a tool but its test has failed, abort the merge regardless of current channel. This should help the tool maintainers if the update turns out to be failing due to changes in latest master. | ||||
| 2017-12-27 | Clarify toolstate names. Move publish.py to a more convenient location. | kennytm | -1/+1 | |
| 2017-12-27 | Upload the toolstate to the remote repository. | kennytm | -8/+15 | |
| 2017-12-03 | Update the tools CI to use --no-fail-fast and --save-toolstates. | kennytm | -0/+39 | |
