Closed jldec closed 6 years ago
It would be very helpful to show the CI results of a PR or master commit in a github commit status.
Blocked on #35.
Actually, this would more likely be blocked on the CI being made public. Right now it will reject anyone who isn't in the right github group.
It would be very helpful to show the CI results of a PR or master commit in a github commit status.