Record that gh pr checks omits check runs, and correct fully-clean's fifth case - #1079

Merged

d-morrison merged 2 commits into

mainfrom

fix/check-surface-completeness

Aug 3, 2026

Commits on Aug 3, 2026

start: document gh pr checks incompleteness in fully-clean.md (closes #1074)
d-morrison
committed
18eb4c1
Record that gh pr checks omits check runs, and correct the fifth case
d-morrison
committed
e9f7c84