Skip to content

Commit 902aeb2

Browse files
committed
wip
1 parent 0f58987 commit 902aeb2

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

.travis.yml

+2-2
Original file line numberDiff line numberDiff line change
@@ -230,14 +230,14 @@ matrix:
230230
if: type = pull_request OR branch = auto
231231

232232
- stage: publish toolstate
233-
if: branch = master AND type = push
233+
if: branch = debug-for-422 # master AND type = push
234234
before_install: []
235235
install: []
236236
sudo: false
237237
script:
238238
MESSAGE_FILE=$(mktemp -t msg.XXXXXX);
239239
. src/ci/docker/x86_64-gnu-tools/repo.sh;
240-
commit_toolstate_change "$MESSAGE_FILE" "$TRAVIS_BUILD_DIR/src/tools/publish_toolstate.py" "$(git rev-parse HEAD)" "$(git log --format=%s -n1 HEAD)" "$MESSAGE_FILE" "$TOOLSTATE_REPO_ACCESS_TOKEN";
240+
TOOLSTATE_SKIP_MENTIONS=1 commit_toolstate_change "$MESSAGE_FILE" "$TRAVIS_BUILD_DIR/src/tools/publish_toolstate.py" "$(git rev-parse HEAD)" "$(git log --format=%s -n1 HEAD)" "$MESSAGE_FILE" "$TOOLSTATE_REPO_ACCESS_TOKEN";
241241

242242
before_install:
243243
# We'll use the AWS cli to download/upload cached docker layers as well as

src/tools/publish_toolstate.py

+3-3
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
# List of people to ping when the status of a tool or a book changed.
1717
MAINTAINERS = {
1818
'miri': '@oli-obk @RalfJung @eddyb',
19-
'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch',
19+
'clippy-driver': '@Manishearth @oli-obk',
2020
'rls': '@Xanewok',
2121
'rustfmt': '@topecongiro',
2222
'book': '@carols10cents @steveklabnik',
@@ -72,7 +72,7 @@ def issue(
7272
):
7373
# Open an issue about the toolstate failure.
7474
assignees = [x.strip() for x in maintainers.split('@') if x != '']
75-
assignees.append(relevant_pr_user)
75+
# assignees.append(relevant_pr_user)
7676
if status == 'test-fail':
7777
status_description = 'has failing tests'
7878
else:
@@ -160,7 +160,7 @@ def update_latest(
160160
if new == 'build-fail' or (tool == 'miri' and new == 'test-fail'):
161161
create_issue_for_status = new
162162

163-
if create_issue_for_status is not None:
163+
if tool == 'clippy-driver': #create_issue_for_status is not None:
164164
try:
165165
issue(
166166
tool, create_issue_for_status, MAINTAINERS.get(tool, ''),

0 commit comments

Comments
 (0)