Update src/tools/publish_toolstate.py

Co-Authored-By: Mateusz Mikuła <mati865@users.noreply.github.com>
This commit is contained in:
Igor Matuszewski 2020-04-04 20:11:01 +02:00 committed by GitHub
parent 4387a8b96e
commit dcf70044de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -204,7 +204,7 @@ def update_latest(
old = status[os]
new = s.get(tool, old)
status[os] = new
maintainers = ' '.join('@'+name for name in MAINTAINERS.get(tool, ())
maintainers = ' '.join('@'+name for name in MAINTAINERS.get(tool, ()))
# comparing the strings, but they are ordered appropriately:
# "test-pass" > "test-fail" > "build-fail"
if new > old: