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

Version history of scripts/toolchain.env

October 2026

gildrb.com
bend: pin 2.0.39 (selfcheck 14 ok; runtime functions the shim mirrors byte-identical; core.c regenerated; both proof gates and every bridge pass)
committed
gildrb.com
ci: GitHub runs no CI, only the daily release; every gate runs in the local prek hooks
committed