Skip to content

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

Merged
edmundmiller merged 3 commits into
mainfrom
ci/check-sources
Aug 18, 2026
Merged

Fail PRs when a source query does not build#150
edmundmiller merged 3 commits into
mainfrom
ci/check-sources

ci: gate on head.repo.fork instead of probing for a token

025f48e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar