Skip to content

Use synth_only build mode for faster CI#63

Merged
robtaylor merged 4 commits intomainfrom
synth-only-ci
Dec 16, 2025
Merged

Use synth_only build mode for faster CI#63
robtaylor merged 4 commits intomainfrom
synth-only-ci

Commits

Commits on Dec 16, 2025