Skip to content
Kani CI

Fix the CI for nightly + minimal crate versions #437

Sign in to view logs

Fix the CI for nightly + minimal crate versions

Fix the CI for nightly + minimal crate versions #437

Triggered via push February 10, 2024 12:25
@tatsuya6502tatsuya6502
pushed c6427b8
fix-ci/2024-02-10/v012
Status Success
Total duration 1m 15s
Artifacts –

Kani.yml

on: push
pre_job
3s
pre_job
run-kani
56s
run-kani
Fit to window
Zoom out
Zoom in