Details
-
Improvement
-
Status: Closed
-
Major
-
Resolution: Won't Fix
-
None
-
None
Description
PRs on GitHub should trigger medic builds. Likewise, medic builds should inform their related GitHub commits of the build's status.