about summary refs log tree commit diff
path: root/src/tools/publish_toolstate.py
AgeCommit message (Expand)AuthorLines
2019-04-17Remove nrc from toolstate pingsNick Cameron-2/+2
2019-03-28Add edition-guide to toolstate.Eric Huss-1/+3
2019-03-10Fix tidykennytm-1/+4
2019-03-10Update src/tools/publish_toolstate.pyJames Munns-1/+1
2019-03-09Track embedded-book in the toolstatekennytm-3/+5
2019-02-21Update miri linksPhilipp Hansch-1/+1
2019-02-17publish_toolstate.py: further fix the runtime errorskennytm-3/+3
2019-02-17Auto merge of #58495 - kennytm:rollup, r=kennytmbors-1/+1
2019-02-16Notify myself when Clippy toolstate changesPhilipp Hansch-1/+1
2019-02-15Fix the syntax error in publish_toolstate.pykennytm-3/+3
2019-02-14Notify @topecongiro when the state of rustfmt has changedtopecongiro-1/+1
2019-02-13Auto merge of #56951 - oli-obk:auto_toolstate_issue, r=kennytmbors-3/+83
2019-02-12Permit issue posting to have network failuresOliver Scherer-4/+12
2018-12-27Added a job to dry-run the publish_toolstate.py oncekennytm-0/+5
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-23Dedent mergebot messageOliver Scherer-2/+2
2018-12-20TidyOliver Scherer-3/+10
2018-12-19Be more cheerful and helpfulOliver Scherer-13/+28
2018-12-19Only emit issues for build failures to supress spurious failuresOliver Scherer-2/+7
2018-12-19Only open one issue per toolOliver Scherer-4/+12
2018-12-18Automatically tag as nominated for T-compilerOliver Scherer-0/+1
2018-12-18Automatically open an issue when a tool breaksOliver Scherer-3/+39
2018-12-15Revert "Rollup merge of #56758 - Manishearth:emoji-status-toolstate, r=kennytm"Pietro Albini-25/+7
2018-12-12Add short emoji status to toolstate updatesManish Goregaokar-7/+25
2018-11-02publish-toolstate: ping maintainers when a tool builds againNick Cameron-3/+3
2018-11-01Remove unused import copy from publish_toolstate.pyYuka Takahashi-1/+0
2018-05-04Ping infra team on all tool bustageNick Cameron-1/+1
2018-02-24Run the external doc tests in tools job.kennytm-1/+5
2018-02-23Submit a comment to the PR in additional to pushing a commit.kennytm-5/+25
2018-02-23Provides direct link to the PR when toolstate is changed.kennytm-7/+26
2017-12-27Clarify toolstate names. Move publish.py to a more convenient location.kennytm-0/+105
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-22 07:56:03 +0000