Clippy lints and Rustfmt

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

Sign in to view logs

Triggered via push September 10, 2024 12:20

tatsuya6502

v0.11.x

Status Success

Total duration 27s

Artifacts –

Lints.yml

on: push

Matrix: test