Dirkjan Ochtman
Dirkjan Ochtman
I don't think #1121 is the right approach. The fallibility here is with (a) parsing the format string, which might be invalid, and (b) whether the type we're formatting from...
Blocking issues: - [ ] https://github.com/quinn-rs/quinn/pull/1729 - [ ] https://github.com/quinn-rs/quinn/pull/1734 - [ ] https://github.com/quinn-rs/quinn/pull/1715 We might want to try to push these over the finish line: - [ ] https://github.com/quinn-rs/quinn/pull/1703...
This looks... weird? https://github.com/quinn-rs/quinn/actions/runs/6611503872/job/17955509790
The windows project now exposes a crate that lets us build the bindings we need without the need to depend on all of them (with large downloads and regular version...
I finally followed up with the instructions in https://github.com/viperproject/prusti-dev/issues/1193#issuecomment-1312956882 and tried to run Prusti on [rustls](https://github.com/rustls/rustls). However, after some time it failed: ``` [2023-02-26T20:39:14Z INFO prusti_viper::encoder::encoder] Encoding: rustls::msgs::persist::ClientSessionValue::common (rustls::msgs::persist::{impl#0}::common) thread...
After trying on rustls, I tried running Prusti on [chrono](https://github.com/chronotope/chrono). However, running it on current main generated 452 problems, practically all of which seem to be internal errors. A sample:...
Maintainer's notes - For Sync+Sync, see #4347 --- ### Please complete the following tasks - [X] I have searched the [discussions](https://github.com/clap-rs/clap/discussions) - [X] I have searched the [open](https://github.com/clap-rs/clap/issues) and [rejected](https://github.com/clap-rs/clap/issues?q=is%3Aissue+label%3AS-wont-fix+is%3Aclosed)...
### Please complete the following tasks - [X] I have searched the [discussions](https://github.com/clap-rs/clap/discussions) - [X] I have searched the [open](https://github.com/clap-rs/clap/issues) and [rejected](https://github.com/clap-rs/clap/issues?q=is%3Aissue+label%3AS-wont-fix+is%3Aclosed) issues ### Clap Version 4.3.21 ### Describe your...
In https://github.com/rustsec/advisory-db/issues/1808, it became clear that at least two separate people (one of which was me) got confused by the fact that a GHSA was issued for rustix without a...