Jan Winkelmann
Jan Winkelmann
This was blocked because we didn't want to shake up the proofs just from directory restructuring. What is the situation now?
This is chugging along, see - https://github.com/openmls/openmls/pull/1796 - https://github.com/openmls/openmls/pull/1798
I published the -pre.1 of all crates today. We need to bump futures-util because the version we use has been yanked; I'll PR that tomorrow (or so). Otherwise everything is...
The futures-util issue is a bit funny. The Cargo.lock I have in my local clone had the outdated version, but it's in .gitignore so it's not in the repo and...
The deadline is early in next sprint, so I think it might be good to get this done in this one. I'll try to get it in.
@franziskuskiefer I think this is done, right?
Unfortunately simply disabling the other actions didn't work, because then Github won't put up the benchmarks job. I'll see if there is something better I can do on Monday.
quick update: - 201 doesn't seem to belong here - 1002 seems to be redundant with 1001 - the test for the update part of 103 gives de/serialization errors -...
Not to reviewer: I added the rustdoc linter exemption because for some reason it thinks that CapabilitiesBuilder is private, when it clearly isn't. Not sure what is happening there.
The remaining test is still failing because the API doesn't provide the required functionality. #1606 fixes that, so we either blocked on that, or we `#[ignore]` the failing test for...