Skip to content

v0.2.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 25 Jul 18:37
· 71 commits to lean since this release
v0.2.1
This tag was signed with the committer’s verified signature.
MuNeNiCK MuNeNiCK
GPG key ID: F8195A7A5BD1D5AF
Verified
Learn about vigilant mode.
02f234b
This commit was signed with the committer’s verified signature.
MuNeNiCK MuNeNiCK
GPG key ID: F8195A7A5BD1D5AF
Verified
Learn about vigilant mode.

Agent Workbench v0.2.1

v0.2.1 makes the Linux x86_64 release independent of the host C runtime.

  • Publish Agent Workbench as a static Linux x86_64 executable.
  • Validate the packaged executable in clean musl and glibc environments.
  • Keep ordinary source builds on the Lean toolchain selected by
    lean-toolchain.
  • Preserve exact release commit, target, checksums, and version metadata.
Assets 8
Loading