Fail PRs when a source query does not build - #150

Merged

edmundmiller merged 3 commits into

mainfrom

ci/check-sources

Aug 18, 2026

Commits on Aug 18, 2026

ci: fail PRs when a source query does not build
edmundmiller
committed
0c46d8d
ci: use evidence sources --strict instead of a custom check
edmundmiller
committed
f3e1ff4
ci: gate on head.repo.fork instead of probing for a token
edmundmiller
committed
025f48e