10 commits

Author	SHA1	Message	Date
Mark Rousskov	2a663555dd	Remove licenses	2018-12-25 21:08:33 -07:00
Pietro Albini	e771a7d353	Revert "Rollup merge of #56758 - Manishearth:emoji-status-toolstate, r=kennytm" ... This reverts commit 050bb10dc3, reversing changes made to c530e31245.	2018-12-15 14:57:17 +01:00
Manish Goregaokar	ae893bb9ab	Add short emoji status to toolstate updates	2018-12-12 14:53:08 -08:00
Nick Cameron	d0778ac88e	publish-toolstate: ping maintainers when a tool builds again ... And add @Xanewok as an RLS maintainer	2018-11-02 10:38:05 +13:00
Yuka Takahashi	7fd98df963	Remove unused import copy from publish_toolstate.py	2018-11-01 14:52:00 +01:00
Nick Cameron	28dfc07a35	Ping infra team on all tool bustage	2018-05-04 10:21:05 +12:00
kennytm	a9f940e320	Run the external doc tests in tools job.	2018-02-24 00:54:13 +08:00
kennytm	e18105079e	Submit a comment to the PR in additional to pushing a commit. ... Fix rust-lang-nursery/rust-toolstate#2.	2018-02-23 03:30:10 +08:00
kennytm	1acd3789bb	Provides direct link to the PR when toolstate is changed. ... Fix rust-lang-nursery/rust-toolstate#1.	2018-02-23 03:30:10 +08:00
kennytm	44954ab52d	Clarify toolstate names. Move publish.py to a more convenient location.	2017-12-27 00:00:46 +08:00

Renamed from src/ci/docker/x86_64-gnu-tools/publish.py (Browse further)