Skip to content

v3.11.0
Compare
Choose a tag to compare
@github-actions github-actions released this 08 May 17:36
· 425 commits to master since this release
v3.11.0
fb3f3e8 
fix(.github/workflows): support old macos versions (#222)

https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Testing.20Lean.209.2E9.2E9/near/196914237
Assets 6
Loading