No reviewers
Labels
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
schaefera/utStudyBIble!109
Loading…
Reference in a new issue
No description provided.
Delete branch "ci-preview/107"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
This PR is never merged. It is the targeted check for PR #108: the
ci-preview/107branch runs CI the way main does.It is open only so the ci-runner scheduler sees the branch head. The scheduler watches default branches and open PR heads only, so without this PR a queued run on this branch never wakes the runner. The
pull_requestruns this PR triggers are a side effect and can be ignored.The sequence:
697fbd2) is a docs-only child of #108's head. Its run 182 was cancelled.4e0d501) has parents X and the head, with the head's tree. Its run 183 runs in full, because X did not pass.I'll close this PR and delete the branch once the preview is done.
🤖 Generated with Claude Code
Pull request closed