Skip to content

feat: add mathlib and toolchains cache commands#11

Merged
RexWzh merged 3 commits into
mainfrom
rex/cache-unpack-plan
Apr 14, 2026
Merged

feat: add mathlib and toolchains cache commands#11
RexWzh merged 3 commits into
mainfrom
rex/cache-unpack-plan

fix: preserve execute_command compatibility

b9cdd41
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar