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

Sign in to view logs

Triggered via push September 10, 2024 12:20

tatsuya6502

v0.11.x

Status Success

Total duration 46s

Artifacts –

Trybuild.yml

on: push

Matrix: test