Oli Scherer
6cfa7ef2ba
Remove miri from the submodule list and require it for CI to pass
2022-09-21 15:35:53 +00:00
Eric Huss
4a7e2fbb7b
Sunset RLS
2022-08-27 21:36:08 -07:00
Eric Huss
45e2fc3d4f
Remove Steve from toolstate failure notices.
...
They have not been involved in a while.
2022-08-20 22:11:27 -07:00
Eric Huss
3b1b35bf03
Remove rustfmt from publish_toolstate
...
Rustfmt is no longer tracked in toolstate, so this isn't necessary.
2022-08-20 22:08:50 -07:00
Oli Scherer
dfb592a91d
Remove eddyb from miri failure pings
2022-06-27 16:08:19 +02:00
Eric Huss
6070763bc7
Disable validate_maintainers.
2021-09-15 09:25:06 -07:00
kennytm
45da2277a0
Fix some Python2->3 error in publish_toolstate.py by type-checking it
2021-02-20 18:48:22 -05:00
Yuki Okushi
b1d78360f9
Ping me when nomicon's toolstate is broken
2020-12-05 12:05:03 +09:00
Yuki Okushi
cabedfebcb
Remove mark-i-m from rustc-dev-guide maintainers
2020-10-13 03:13:00 +09:00
LeSeulArtichaut
4bf5c45865
Remove outdated line from publish_toolstate hook
2020-10-01 22:30:11 +02:00
Mark Rousskov
c8b240241a
Avoid function-scoping global variables
...
In 2e6f2e8855
2020-08-26 17:24:52 -04:00
Eric Huss
2e6f2e8855
publish-toolstate: show more context on HTTP error
2020-08-23 11:29:27 -07:00
Pietro Albini
8345f323b3
toolstate: remove embedded-resources alumni from toolstate
2020-08-12 13:53:50 +02:00
Aaron Hill
0d8260ee48
Label rustfmt toolstate issues with A-rustfmt
...
This makes it easier to filter toolstate issues by the tool involved.
2020-08-05 05:03:08 -04:00
Caleb Cartwright
7dba34fd6b
tools: update rustfmt toolstate maintainers
2020-07-19 13:10:38 -05:00
Elinvynia
dc4b9fd863
Allow rust-highfive to label issues it creates.
...
Replace sets with lists.
2020-05-22 17:28:22 +02:00
Oliver Scherer
675b585931
Remove clippy from some leftover lists of "possibly failing" tools
2020-05-03 11:40:45 +02:00
Pietro Albini
6b455281c6
update tool maintainers
2020-04-15 18:19:02 +02:00
Guillaume Gomez
38eb369fa4
Enforce Python 3 as much as possible
2020-04-10 09:09:58 -04:00
bors
853c4774e2
Auto merge of #69898 - spastorino:rename-rustc-guide2, r=Xanewok
...
Move rustc-guide submodule to rustc-dev-guide
r? @pietroalbini
2020-04-04 18:17:14 +00:00
Igor Matuszewski
dcf70044de
Update src/tools/publish_toolstate.py
...
Co-Authored-By: Mateusz Mikuła <mati865@users.noreply.github.com>
2020-04-04 20:11:01 +02:00
Santiago Pastorino
5884c9d08f
Revert "Automatically tag as nominated for T-compiler"
...
This reverts commit 46a8fcdf3c
2020-03-25 17:15:12 -03:00
Santiago Pastorino
4387a8b96e
Move rustc-guide submodule to rustc-dev-guide
2020-03-24 15:38:53 -03:00
Ralf Jung
a6d8c9c5eb
more toolstate comments
2020-03-04 08:30:26 -08:00
Yuki Okushi
8d0e9187ad
Do not ping PR reviewers in toolstate breakage
2020-02-25 09:07:03 +09:00
Mark Rousskov
e7ee42baeb
Do not ping the infrastructure team on toolstate changes
...
To my knowledge, there is essentially never any particular action that the
infra team needs to take on these pings, and they are currently relatively
annoying.
2020-02-20 19:46:09 -05:00
Chris Simpkins
adde3d443d
PEP8 format spacing
2020-02-07 22:30:11 -05:00
Yuki Okushi
d8ea7866fc
Add JohnTitor to rustc-guide toolstate notification list
...
Also update org names of some books
2019-11-18 00:47:38 +09:00
varkor
fb392c5ed6
Don't cc rust-lang/compiler for toolstate changes
2019-10-10 17:23:28 +01:00
Ralf Jung
388cd5d88e
avoid duplicate issues for Miri build failures
2019-09-16 22:25:34 +02:00
Pietro Albini
ce451b9b26
ci: remove projektir from toolstate notifications
...
They don't contribute to rust-by-example anymore.
2019-09-16 16:31:52 +02:00
Pietro Albini
f2576c821d
ci: convert maintainer list in publish_toolstate to a set
2019-09-16 16:31:50 +02:00
Pietro Albini
f968c1a4f5
ci: address publish_toolstate review comments
2019-09-16 16:30:50 +02:00
Pietro Albini
eb97b1bfde
ci: rename Gankro to Gankra in toolstate
2019-09-16 16:30:48 +02:00
Pietro Albini
d3d7b58c37
ci: ensure all tool maintainers are assignable on issues
...
GitHub only allows people explicitly listed as collaborators on the
repository or who commented on the issue/PR to be assignees, failing to
create the issue if non-assignable people are assigned.
This adds an extra check on CI to make sure all the people listed as
tool maintainers can be assigned to toolstate issues. The check won't be
executed on PR builds due to the lack of a valid token.
2019-09-16 16:30:46 +02:00
Jane Lusby
925a766bc0
Add Yaah to clippy toolstain notification list
2019-09-03 10:08:02 -07:00
flip1995
8cf392114d
Notify me (flip1995) when Clippy toolstate changes
2019-08-28 13:25:45 +02:00
Mark Mansi
a9900be9f4
add amanjeev
2019-08-21 10:16:57 -05:00
Ralf Jung
82d18412d1
more comments
2019-07-23 15:36:51 -05:00
Ralf Jung
92d432a0c7
more callback docs
2019-07-23 15:36:51 -05:00
Who? Me?!
4eb492db54
Add spastorino for rustc-guide toolstate
2019-07-09 13:58:32 -05:00
André Luis Leal Cardoso Junior
d8a6ccfb4a
Track rustc-guide on toolstate
2019-07-06 11:05:22 -03:00
Ralf Jung
02863a3554
do as tidy says
2019-06-21 20:47:42 +02:00
Ralf Jung
ecca52cac1
don't make PR author assignee; that break creating the issue when they are not a team member
2019-06-21 20:25:37 +02:00
Ralf Jung
e10012d037
show HTTP error body
2019-06-21 19:22:46 +02:00
Ralf Jung
8ceab3218e
fix long line
2019-06-21 14:07:20 +02:00
Ralf Jung
e02c655194
dump the JSON we are going to submit to GH to create the issue
2019-06-21 13:46:46 +02:00
Ralf Jung
fb2f841867
give a bit more context in the error message
2019-06-21 13:40:57 +02:00
Ralf Jung
a8b2b1c7b3
publish_toolstate: don't use 'new' from inside the loop
2019-06-21 13:26:46 +02:00
Ralf Jung
d8eea9258a
create an issue for miri even in status test-fail
2019-06-18 21:57:31 +02:00
