eukhe
Coding agent with a memory of all things
Star 0
Fork 0
Watch

Version history of docs/develop.md

October 2026

gildrb.com
ci: the pre-push hook checks the pushed commits in place (fmt, secrets, clippy and tests on the touched crates, bend PROOF.bend) with no lock; the full gate runs nightly (scripts/ci_nightly.sh) and starts the release only when green
committed
gildrb.com
laws: references cite LAWS.bend and PROOF.bend sections; check_laws_wired.py enforces the layout
committed
gildrb.com
ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks
committed
gildrb.com
ci: a push to main runs nothing on GitHub; the daily release builds the newest untagged commit of main (the pre-push hook ran every gate)
committed
gildrb.com
ci-local: the pre-push worktree lives beside the repo (<repo>-ci), not under .git, where vitest skips the tests and test socket paths pass SUN_LEN
committed
gildrb.com
ci-local: one pre-push gate at a time across worktrees (flock), and a commit that passed pushes again without it
committed
gildrb.com
make hooks: a worktree without .pre-commit-config.yaml (an older commit) skips the prek hooks instead of failing every commit
committed
gildrb.com
docs: local CI hooks (prek, make hooks), the light GitHub gate on push, the daily release
committed
gildrb.com
README: Develop moves to docs/develop.md, with the release rule
committed