anneal-v0.1.0-alpha.22

What's Changed

• [ci] Run Anneal jobs on free-tier runners by @joshlf in #3330
• [anneal] Don't copy Lean build artifacts from ~/.anneal by @joshlf in #3344

Full Changelog: anneal-v0.1.0-alpha.21...anneal-v0.1.0-alpha.22

anneal-v0.1.0-alpha.21

What's Changed

• [anneal] Cleanup test infrastructure and implement atomic setup by @joshlf in #3305
• [anneal] In setup, recursively cache Lean sources by @joshlf in #3306
• Add Total CI Duration benchmark to anneal workflow by @joshlf in #3323
• [anneal] Isolate docker images, not just volumes by @joshlf in #3322
• [anneal][README] Document TCB shrinking by @joshlf in #3326
• [anneal][README] Tighten wording by @joshlf in #3328

Full Changelog: anneal-v0.1.0-alpha.20...anneal-v0.1.0-alpha.21

anneal-v0.1.0-alpha.20

What's Changed

• [anneal] Make logo stroke width thicker by @joshlf in #3300
• [anneal] Use Lean artifact cache; use local-filesystem git dep by @joshlf in #3304

Full Changelog: build-2026.04.19.084341-62d9816418bdb3d566381c1a4070784f7cf5380e...anneal-v0.1.0-alpha.20

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