Clippy lints and Rustfmt

CI: Pin Kani version to v0.54.0 to avoid tests to stall #174

Sign in to view logs

Triggered via push September 10, 2024 12:09

tatsuya6502

fix-ci/pin-kani-0.54.0

Status Success

Total duration 28s

Artifacts –

Lints.yml

on: push

Matrix: test