Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Releases page is empty #79

Closed
osmith42 opened this issue Nov 19, 2021 · 3 comments
Closed

Releases page is empty #79

osmith42 opened this issue Nov 19, 2021 · 3 comments

Comments

@osmith42
Copy link

README.md says:

Download a release of the toolchain for your platform from Github releases and extract the archive into an arbitrary directory.

However, when clicking the link:

There aren’t any releases here
@voltur01
Copy link
Contributor

Hi Oliver, thank you for reporting the issue and sorry for the current mismatch: the docs were updated for the first binary release, which will be published at the page in coming days.

@osmith42
Copy link
Author

Okay, thank you.

@miyuki
Copy link
Collaborator

miyuki commented Dec 16, 2021

The 13.0.0 release has been uploaded, closing.

@miyuki miyuki closed this as completed Dec 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@miyuki @osmith42 @voltur01