Skip to content
Kani CI

Merge pull request #40 from moka-rs/apply-pr34-to-v0.11.x #57

Sign in to view logs

Merge pull request #40 from moka-rs/apply-pr34-to-v0.11.x

Merge pull request #40 from moka-rs/apply-pr34-to-v0.11.x #57

Triggered via push September 10, 2024 12:35
@tatsuya6502tatsuya6502
pushed 732ff1f
v0.11.x
Status Success
Total duration 50s
Artifacts –

Kani.yml

on: push
run-kani
41s
run-kani
Fit to window
Zoom out
Zoom in