Skip to content

Releases: emberian/dregg

Release list

Lean seed archives

Lean seed archives Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Jul 22:12
lean-seed
4caff07

Prebuilt verified-executor Lean seed archives (libdregg_lean.a), built and published by .github/workflows/lean-seed.yml.

Assets are CONTENT-KEYED: libdregg_lean-<platform>-<leantoolchain>-<key>.a.zst, where key = sha256(platform, lean-toolchain, mathlib rev, Dregg2 tree)[:16]. This tag accumulates them, so it never needs to change — scripts/fetch-lean-seed.sh computes the key for YOUR checkout and asks for the matching asset.

Fetch: scripts/fetch-lean-seed.sh · then DREGG_REQUIRE_LEAN=1 cargo build -p dregg-node --release.

Assets 122