Skip to content
Kani CI

Fix the CI with minimal crate versions #258

Sign in to view logs

Fix the CI with minimal crate versions

Fix the CI with minimal crate versions #258

Triggered via push December 11, 2023 14:18
@tatsuya6502tatsuya6502
pushed ecc5fd5
fix-ci-2023-12-11-v012
Status Success
Total duration 1m 0s
Artifacts –

Kani.yml

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