Closed
Description
As per #173 (comment) currently the Bot doesn't comment in PRs when autostarting CI.
If we start relying on the autostarted CI rather than manual runs, then if we land PRs without merging no evidence will be left that CI was run at all.
Metadata
Metadata
Assignees
Labels
No labels