build-2026.04.19.084341-62d9816418bdb3d566381c1a4070784f7cf5380e

What's Changed

• [ci][anneal] Unset CI variable to force precompilation in release by @joshlf in #3295

Full Changelog: build-2026.04.18.204928-234b7e0927728428e836aa455a1960bca7cd52c3...build-2026.04.19.084341-62d9816418bdb3d566381c1a4070784f7cf5380e

build-2026.04.18.204928-234b7e0927728428e836aa455a1960bca7cd52c3

What's Changed

• [ci][anneal] Remove tests before building Lean library in release by @joshlf in #3294

Full Changelog: build-2026.04.18.181525-b04142396963357c0bf3cf3d9e42e21070e38bfb...build-2026.04.18.204928-234b7e0927728428e836aa455a1960bca7cd52c3

build-2026.04.18.190229-fbdeab52de993f2bad6b650acd6aa8353d9edc89

What's Changed

• [ci][anneal] Fix sysroot layout and exclude tests in builder script by @joshlf in #3291
• [ci][anneal] In release, don't build tests; fix location of charon artifacts by @joshlf in #3293

Full Changelog: build-2026.04.18.151841-00c910938978083a5405faed719ca02dcec730ad...build-2026.04.18.190229-fbdeab52de993f2bad6b650acd6aa8353d9edc89

build-2026.04.18.181525-b04142396963357c0bf3cf3d9e42e21070e38bfb

What's Changed

• [ci][anneal] Fix sysroot layout and exclude tests in builder script by @joshlf in #3291

Full Changelog: build-2026.04.18.151841-00c910938978083a5405faed719ca02dcec730ad...build-2026.04.18.181525-b04142396963357c0bf3cf3d9e42e21070e38bfb

build-2026.04.18.151841-00c910938978083a5405faed719ca02dcec730ad

What's Changed

• [ci][anneal] When publishing, prune Mathlib rather than removing it by @joshlf in #3290

Full Changelog: build-2026.04.18.135139-f83d13e3ee1e5cba9e8cc8bf10cfdc321b43c4ec...build-2026.04.18.151841-00c910938978083a5405faed719ca02dcec730ad

build-2026.04.18.135139-f83d13e3ee1e5cba9e8cc8bf10cfdc321b43c4ec

What's Changed

• [ci][anneal] Add manual trigger to publish precompiled artifacts by @joshlf in #3286
• [ci][anneal] Make concurrency group dynamic by branch/PR by @joshlf in #3287
• [ci][anneal] Use draft release pattern to avoid immutable release error by @joshlf in #3288
• [ci][anneal] Use unique tags for manual artifact releases by @joshlf in #3289

Full Changelog: anneal-v0.1.0-alpha.19...build-2026.04.18.135139-f83d13e3ee1e5cba9e8cc8bf10cfdc321b43c4ec

anneal-v0.1.0-alpha.19

What's Changed

• [ci][anneal] Grant write permissions to publish-artifacts job by @joshlf in #3283
• [ci][anneal] Add workflow_dispatch Action to release new version by @joshlf in #3284

Full Changelog: anneal-v0.1.0-alpha.18...anneal-v0.1.0-alpha.19

anneal-v0.1.0-alpha.18

What's Changed

• [anneal] Prune Mathlib in docker image by @joshlf in #3275
• [anneal] Remove support for system-wide binary deps by @joshlf in #3274
• [ci][anneal] Track Docker image size in dashboard by @joshlf in #3276
• [ci][anneal] Install fewer, smaller Rust toolchains by @joshlf in #3277
• [ci][anneal] Track more metrics in dashboard by @joshlf in #3279
• [ci][anneal] Add precompiled artifact build script and workflow by @joshlf in #3281
• [anneal] Release 0.1.0-alpha.18 by @joshlf in #3282

Full Changelog: anneal-v0.1.0-alpha.17...anneal-v0.1.0-alpha.18

anneal-v0.1.0-alpha.17

What's Changed

• [anneal] Add README disclaimer by @joshlf in #3268
• [anneal] Fix bug in generated syntax by @joshlf in #3270
• [ci][anneal] Free up disk space... by @joshlf in #3272
• [anneal] Add nopanic example by @joshlf in #3271
• [anneal] Release 0.1.0-alpha.17 by @joshlf in #3269

Full Changelog: anneal-v0.1.0-alpha.16...anneal-v0.1.0-alpha.17

anneal-v0.1.0-alpha.16

What's Changed

• [anneal] Download Rust toolchain in cargo anneal setup by @joshlf in #3264

Full Changelog: anneal-v0.1.0-alpha.15...anneal-v0.1.0-alpha.16