Skip to content

Fall back to the GitHub mirror when cloning Eigen fails - #277

Merged
zfergus merged 2 commits into
mainfrom
fix/eigen-github-fallback
Oct 21, 2026
Merged

Fall back to the GitHub mirror when cloning Eigen fails#277
zfergus merged 2 commits into
mainfrom
fix/eigen-github-fallback

Document branch naming convention in CLAUDE.md

7599c40
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar