anneal-v0.1.0-alpha.21
·
2 commits
to main
since this release
Immutable
release. Only release title and notes can be modified.
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
Contributors
joshlf