Skip to content
Kani CI

Fix the CI for nightly + minimal crate versions #561

Sign in to view logs

Fix the CI for nightly + minimal crate versions

Fix the CI for nightly + minimal crate versions #561

Triggered via push November 3, 2024 00:48
@tatsuya6502tatsuya6502
pushed c84c857
fix-ci/2024-11-03/v012
Status Success
Total duration 1m 53s
Artifacts –

Kani.yml

on: push
pre_job
5s
pre_job
run-kani
1m 29s
run-kani
Fit to window
Zoom out
Zoom in