fix: add table variant for require.git field in lakefile.toml schema#11536
Merged
mhuisi merged 7 commits intoleanprover:masterfrom Dec 16, 2025
Merged
fix: add table variant for require.git field in lakefile.toml schema#11536mhuisi merged 7 commits intoleanprover:masterfrom
require.git field in lakefile.toml schema#11536mhuisi merged 7 commits intoleanprover:masterfrom
Commits
Commits on Dec 6, 2025
Commits on Dec 7, 2025
- committed
- committed
- committed
- committed
- committed