Completed
Push — add/pr-up-to-date-check ( 9adbb3 )
by
unknown
184:51 queued 175:13
created

No notable changes

There were no notable changes in the changeset which was inspected.

5.49
▶   ± 0
Head
Brad Jorsch  
Add a "PR is up-to-date" check
Base
Jeremy Herve  
Gardening: new task to clean up labels once a PR has been merged (#19235)