Skip to content

chore: pin LML at its Mathlib bump and build main with --iofail - #109

Merged
RemyDegenne merged 1 commit into
mainfrom
chore/strict-main-build
Nov 3, 2026
Merged

chore: pin LML at its Mathlib bump and build main with --iofail#109
RemyDegenne merged 1 commit into
mainfrom
chore/strict-main-build

Commits

  1. Commits on Nov 3, 2026