chore: lake: `restoreAllArtifacts` / CMake build types in TOML schema#10588

tydeu merged 1 commit intoleanprover:masterleanprover/lean4:masterfrom

tydeu:lake/update-toml-schematydeu/lean4:lake/update-toml-schemaCopy head branch name to clipboard