aboutsummaryrefslogtreecommitdiff
path: root/INSTALL-GITHUB-DEV
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL-GITHUB-DEV')
-rw-r--r--INSTALL-GITHUB-DEV15
1 files changed, 12 insertions, 3 deletions
diff --git a/INSTALL-GITHUB-DEV b/INSTALL-GITHUB-DEV
index 244d26c..dfcbfe7 100644
--- a/INSTALL-GITHUB-DEV
+++ b/INSTALL-GITHUB-DEV
@@ -63,9 +63,11 @@ At this stage the only settings we need to update are:
- Checks: RW
- Metadata (mandatory): RO
- Pull requests: RO
+ - Contents: RO (for Push events)
- Subscribed events
- Check suite
- Pull request
+ - Push
Click "Create GitHub App" button. When the page reloads:
@@ -126,10 +128,15 @@ aspects but can't redeliver webhooks.
- Branch push (BP).
- - Success (also observe check run state transitions).
- - Failure (also observe check run state transitions).
+ - Success (observe check runs state transitions). Test with 2 build configs.
+ - Failure (observe check runs state transitions).
+ - Push new commit to branch.
- Re-requested check suite.
- - Re-requested check run.
+ - Re-requested check run (observe check run state transitions).
+ - Re-requested check run but tenant archived.
+ - Cancel previous check suite on forced push.
+ - Head commit shared with another BP.
+ - Cancel previous check suite on forced push with shared previous commit.
- Pull request (PR).
@@ -137,6 +144,7 @@ aspects but can't redeliver webhooks.
- Success.
- Failure.
+ - Push new commit to head.
- Re-requested check suite.
- Re-requested check run.
- Head shared with BP.
@@ -146,6 +154,7 @@ aspects but can't redeliver webhooks.
- Success.
- Failure.
+ - Push new commit to head.
- Re-requested check suite.
- Re-requested check run.
- Head shared with another remote PR.