Integrated: Avoid checking closed PRs, handle the "skipped" state of a GitHub check

[Robin Westberg]

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.

Changeset: 71b68cad
Author:    Robin Westberg <rwestberg at openjdk.org>
URL:       https://git.openjdk.java.net/skara/commit/71b68cad
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

Reviewed-by: ehelin

-------------

PR: https://git.openjdk.java.net/skara/pull/865