search

leanprover / elan

The Lean version manager
Apache License 2.0
316 stars 35 forks source link

1.0.8 is not marked as `latest release` #38

Closed chenrui333 closed 3 years ago

chenrui333 commented 3 years ago

👋 just trying to double check if folks missed to mark 1.0.8 as latest release. Thanks!

relates to https://github.com/Homebrew/homebrew-core/pull/85010

Kha commented 3 years ago

Yeah, publishing of the release was not complete. It should good now.

chenrui333 commented 3 years ago

Thanks @Kha, closing the issue now.