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

chore: update to Rust 1.80.1 #564

Closed

demeringo opened this issue Aug 30, 2024 · 0 comments · Fixed by #566

Labels

ci

Collaborator

demeringo commented Aug 30, 2024

Problem

Update CI to use Rust 1.80.1

Solution

Alternatives

Additional context or elements

demeringo added the ci label

demeringo linked a pull request

that will close this issue

564 chore update to rust 1801 #566

Merged

demeringo closed this as completed in #566

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment