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 nightly gate builds from an empty build dir, and the full gate builds without incremental files and with line tables only (one day of gate runs grew its build dir to 410 GB)
committed
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