#930 (Jul 1, 2025, 3:58:46 PM)

Started 5 mo 15 days ago

Took 15 min on macOS-Intel

	Started by GitHub push by MathieuMorlighem (2 times)
	Revision: 876bded3d93fa0aa04f83f52bd2d8e2481783695 Repository: git@github.com:ISSMteam/ISSM.git refs/remotes/origin/main
	Tests (no failures)

Changes

CHG: estetics (commit: 5926957) (details / githubweb)
CHG: better handling of file vs version number (commit: 92a61ed) (details / githubweb)
CHG: minor, removing unnecessary variables (commit: ed1c833) (details / githubweb)
CHG: renamed nu -> mu to avoid confusion (commit: 876bded) (details / githubweb)