Integrated: Avoid checking closed PRs, handle the "skipped" state of a GitHub check
rwestberg at openjdk.java.net
Wed Oct 7 09:32:39 UTC 2020
On Wed, 7 Oct 2020 09:04:01 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> This small fix avoids a few problems with the latest check updates.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 5 lines in 2 files changed: 4 ins; 0 del; 1 mod
Avoid checking closed PRs, handle the "skipped" state of a GitHub check
More information about the skara-dev