Something went wrong. Try again.
Coding agent with a memory of all things
Something went wrong. Try again.
269 B · 5 lines
123456# The Bend and Lean releases that the local gate requires (bend PROOF.bend,# bend --verdict, the Bend bridges). scripts/ci_local.sh sources this file.# The Makefile includes it. Keep the form NAME=value: bash and make read it.BEND_VERSION=2.0.39LEAN_VERSION=4.34.0