ci(github): use shared PR build workflow - #385

Merged

j-d-ha merged 3 commits into

mainfrom

ci/github-use-shared-pr-build

Aug 7, 2026

Commits on Aug 5, 2026

ci(github): use shared PR build workflow
j-d-ha
committed
26e35e5
ci(github): preserve direct coverage check
j-d-ha
committed
4c132a9
ci(github): restore local PR build
j-d-ha
committed
57dc993