Skip to content
Kani CI

Fix the CI with minimal crate versions. (moka v0.11.x) #262

Sign in to view logs

Fix the CI with minimal crate versions. (moka v0.11.x)

Fix the CI with minimal crate versions. (moka v0.11.x) #262

Triggered via pull request December 11, 2023 22:54
@tatsuya6502tatsuya6502
opened #355
fix-ci-2023-12-12-v011
Status Success
Total duration 56s
Artifacts –

Kani.yml

on: pull_request
run-kani
48s
run-kani
Fit to window
Zoom out
Zoom in