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 dependencies #415

Closed
wants to merge 5 commits into from

Conversation

Aurel300
Copy link
Member

  • Bump Rust edition to 2018 in all crates
  • Update to latest warp, tokio, futures, and reqwest in prusti-server

Locally, I get a strange linker error due to that last change. Let's see what CI says.

@Aurel300
Copy link
Member Author

As @fpoli pointed out, this might be related to rust-lang/rust#82151. Let's wait to see how that issue is resolved.

@Aurel300 Aurel300 self-assigned this Feb 18, 2021
@fpoli fpoli added the dependencies Pull requests that update a dependency file label Feb 22, 2021
@Aurel300 Aurel300 mentioned this pull request Feb 23, 2021
@Aurel300 Aurel300 added the pending-on-external Issues that we cannot resolve due to factors outside of our control (e.g. in rustc). label Feb 23, 2021
@fpoli
Copy link
Member

fpoli commented Oct 21, 2021

We could try testing this PR again (if it's feasible to fix the conflicts...).

@fpoli fpoli mentioned this pull request Nov 5, 2021
@Aurel300
Copy link
Member Author

Aurel300 commented Nov 5, 2021

Superseded by #750

@Aurel300 Aurel300 closed this Nov 5, 2021
@Aurel300 Aurel300 deleted the update-dependencies branch November 5, 2021 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file pending-on-external Issues that we cannot resolve due to factors outside of our control (e.g. in rustc).
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants