diff options
Diffstat (limited to 'src/tools/publish_toolstate.py')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 967333c1ace..81d44a3df25 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -211,14 +211,14 @@ def update_latest( if new > old: # things got fixed or at least the status quo improved changed = True - message += '🎉 {} on {}: {} → {} (cc {}, @rust-lang/infra).\n' \ + message += '🎉 {} on {}: {} → {} (cc {}).\n' \ .format(tool, os, old, new, maintainers) elif new < old: # tests or builds are failing and were not failing before changed = True title = '💔 {} on {}: {} → {}' \ .format(tool, os, old, new) - message += '{} (cc {}, @rust-lang/infra).\n' \ + message += '{} (cc {}).\n' \ .format(title, maintainers) # See if we need to create an issue. if tool == 'miri': |