search

kanidm / webauthn-rs

An implementation of webauthn components for Rustlang servers
Mozilla Public License 2.0
483 stars 80 forks source link

Minor changes for kani release #380

Closed Firstyear closed 9 months ago

Firstyear commented 10 months ago

@micolous We're gonna need to do something to get away from the git rev versions here so we can do releases in future I think.

Firstyear commented 10 months ago

I'd like @micolous input before I proceed on this :)

Firstyear commented 9 months ago

@micolous We had a bunch of issues generally, because we can't use git versions of things on crates.io, which meant btleplug was problematic. So we probably generally have a bunch of cleanup to get to a releasable state, which I want to do "sooner than later"

Firstyear commented 9 months ago

I dunno what I just did, but I think I cooked this PR 🤣

I think I close it in favour of another attempt