From 902aeb27c0c165ec6ce0e8bae752def5ae76ecfa Mon Sep 17 00:00:00 2001 From: kennytm Date: Sat, 22 Jun 2019 01:54:44 +0800 Subject: [PATCH] wip --- .travis.yml | 4 ++-- src/tools/publish_toolstate.py | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.travis.yml b/.travis.yml index 3d185b4f0c9ff..84c44eaa89b1f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -230,14 +230,14 @@ matrix: if: type = pull_request OR branch = auto - stage: publish toolstate - if: branch = master AND type = push + if: branch = debug-for-422 # master AND type = push before_install: [] install: [] sudo: false script: MESSAGE_FILE=$(mktemp -t msg.XXXXXX); . src/ci/docker/x86_64-gnu-tools/repo.sh; - 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"; + 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"; before_install: # We'll use the AWS cli to download/upload cached docker layers as well as diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 9f196a219cc23..e3b7b13d7fc73 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -16,7 +16,7 @@ # List of people to ping when the status of a tool or a book changed. MAINTAINERS = { 'miri': '@oli-obk @RalfJung @eddyb', - 'clippy-driver': '@Manishearth @llogiq @mcarton @oli-obk @phansch', + 'clippy-driver': '@Manishearth @oli-obk', 'rls': '@Xanewok', 'rustfmt': '@topecongiro', 'book': '@carols10cents @steveklabnik', @@ -72,7 +72,7 @@ def issue( ): # Open an issue about the toolstate failure. assignees = [x.strip() for x in maintainers.split('@') if x != ''] - assignees.append(relevant_pr_user) + # assignees.append(relevant_pr_user) if status == 'test-fail': status_description = 'has failing tests' else: @@ -160,7 +160,7 @@ def update_latest( if new == 'build-fail' or (tool == 'miri' and new == 'test-fail'): create_issue_for_status = new - if create_issue_for_status is not None: + if tool == 'clippy-driver': #create_issue_for_status is not None: try: issue( tool, create_issue_for_status, MAINTAINERS.get(tool, ''),