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.

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

Update all dependencies (and fix lints) #10

Merged
merged 2 commits into from
Jul 24, 2023

Conversation

dnaka91
Copy link
Contributor

@dnaka91 dnaka91 commented Jul 24, 2023

Update all dependencies, mainly to add support for the new Cargo workspace setting. There were some minor linter warnings that I fixed on the way.

Fixes #9

@Byron
Copy link
Collaborator

Byron commented Jul 24, 2023

Thanks a lot for your help with this maintenance task, it's much appreciated!

I am looking into getting CI green and will merge soon.

`--offline` doesn't work anymore as the default registry is now sparse, which
has nothing cached that it didn't see before.

`--offline` probably was an optimization that we just can't have anymore.

The alternative would be to switch to git, but that proabbly would mean a whole
clone on CI as well, or failure as `--offline` would prevent that anyway.
@Byron Byron merged commit d60e277 into the-lean-crate:main Jul 24, 2023
1 check passed
@Byron
Copy link
Collaborator

Byron commented Jul 24, 2023

The new release is now available here. The binaries are being built right now so CI using it will work soon (again).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Toml parsing fails for .workspace keys
2 participants