Skip to content
Check awaiting-mathlib label

fix: add table variant for require.git field in lakefile.toml schema #18183

Sign in to view logs

fix: add table variant for require.git field in lakefile.toml schema

fix: add table variant for require.git field in lakefile.toml schema #18183

check-awaiting-mathlib

check-awaiting-mathlib
succeeded Dec 7, 2025 in 3s