Skip to content

Merge pull request #41 from moka-rs/fix-ci/pin-kani-0.54.0 #175

Merge pull request #41 from moka-rs/fix-ci/pin-kani-0.54.0

Merge pull request #41 from moka-rs/fix-ci/pin-kani-0.54.0 #175

test (stable)

succeeded Sep 10, 2024 in 15s