THROWAWAY: verify PR checkouts (do not merge) #10

Closed
matt wants to merge 1 commit from ci-verify-2 into main
Owner

Confirms the GITHUB_HEAD_REF checkout fix; closed immediately.

Confirms the GITHUB_HEAD_REF checkout fix; closed immediately.
ci: verify PR checkout fix (throwaway 2)
All checks were successful
test / testbuild (pull_request) Successful in 36s
c2e0f8ad76
matt closed this pull request 2026-09-11 17:01:10 -04:00
All checks were successful
test / testbuild (pull_request) Successful in 36s

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
bigger
blog
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
matt/website!10
No description provided.