From 9f1f28c078d37f01e88169aa1a4d75900e3cf40d Mon Sep 17 00:00:00 2001 From: Francois Kritzinger Date: Tue, 17 Dec 2024 17:05:34 +0200 Subject: ci-github: Update test scenarios --- INSTALL-GITHUB-DEV | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV index dfcbfe7..5634072 100644 --- a/INSTALL-GITHUB-DEV +++ b/INSTALL-GITHUB-DEV @@ -69,6 +69,12 @@ At this stage the only settings we need to update are: - Pull request - Push + Note that GitHub apps with write access to the "Checks" permission are + automatically subscribed to check_suite(requested|rerequested) and check_run + events so no need to subscribe explicitly. However in order to receive + check_suite(completed) events, which we do, one does have to subscribe to + check_suite. + Click "Create GitHub App" button. When the page reloads: - Note the app id (e.g. 12345). @@ -135,8 +141,10 @@ aspects but can't redeliver webhooks. - Re-requested check run (observe check run state transitions). - Re-requested check run but tenant archived. - Cancel previous check suite on forced push. + - Cancel previous check suite on branch delete. - Head commit shared with another BP. - Cancel previous check suite on forced push with shared previous commit. + - Cancel previous check suite on branch delete with shared previous commit. - Pull request (PR). @@ -148,14 +156,16 @@ aspects but can't redeliver webhooks. - Re-requested check suite. - Re-requested check run. - Head shared with BP. - - Not meargeable/head behind base. + - Not meargeable. + - Head behind base. + - Head commit has changed. - Remote PR. - Success. - Failure. - Push new commit to head. + - Cancel previous check suite on head move. - Re-requested check suite. - Re-requested check run. - Head shared with another remote PR. - - Cancel previous check suite on head move. -- cgit v1.1