chore: non-interactive release model download, fail-closed make targets, CI quality job, docs sync#56

Merged

div0-space merged 12 commits into

chore/devex-docs-polish

Jul 9, 2026

Commits on Jul 9, 2026

fix(scripts): make model download non-interactive in CI

vetcoders-agents
and
claude
committed
fix(make): propagate test exit codes in remaining test targets
vetcoders-agents
committed
docs(examples): sync README with actual examples
vetcoders-agents
committed
docs: fix brand casing in NOTICE
vetcoders-agents
committed
docs(changelog): add entries for recent merged PRs
vetcoders-agents
committed
ci(rust): enable clippy and test job

vetcoders-agents
and
claude
committed
chore(tests): suppress semgrep false positive in bench manifest helper
vetcoders-agents
committed
fix(connectors): apply clippy question-mark suggestion in github source parser

vetcoders-agents
and
claude
committed
fix(lint): satisfy clippy on current stable toolchain

vetcoders-agents
and
claude
committed
Merge remote-tracking branch 'origin/develop' into chore/devex-docs-polish
div0-space
committed
[codex/vc-implement] test: tolerate stop timeout rounding
div0-space
committed
[codex/vc-implement] test: skip unsupported clipboard in CI
div0-space
committed