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

Update rustc version #182

Closed
Nadrieril opened this issue May 14, 2024 · 0 comments · Fixed by #272
Closed

Update rustc version #182

Nadrieril opened this issue May 14, 2024 · 0 comments · Fixed by #272
Assignees
@Nadrieril
Labels
A-internal Internal details of how charon is structured

Comments

@Nadrieril
Copy link
Member

Nadrieril commented May 14, 2024 •
edited
Loading

This mostly depends on hacspec/hax#224.
@Nadrieril Nadrieril changed the title Update toolchain version Update rustc version May 14, 2024
@Nadrieril Nadrieril self-assigned this May 14, 2024
@Nadrieril Nadrieril added the A-internal Internal details of how charon is structured label May 15, 2024
@R1kM R1kM mentioned this issue May 16, 2024
Open
@Nadrieril Nadrieril mentioned this issue Jun 26, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Nadrieril Nadrieril

Labels
A-internal Internal details of how charon is structured
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Mad rustc update Nadrieril/charon
1 participant
@Nadrieril