Skip to content

Merge pull request #33 from leanprover/bump-to-v4.14.0-rc3 #164

Merge pull request #33 from leanprover/bump-to-v4.14.0-rc3

Merge pull request #33 from leanprover/bump-to-v4.14.0-rc3 #164

test

succeeded Dec 1, 2024 in 28s