ci: weekly track-latest for the Lean toolchain and sibling pins - #42

ci: weekly track-latest for the Lean toolchain and sibling pins#42

hyperpolymath merged 3 commits into

claude/new-session-up7579hyperpolymath/marches:claude/new-session-up7579from

claude/new-session-up7579-trackhyperpolymath/marches:claude/new-session-up7579-trackCopy head branch name to clipboard