Skip to content
Build & Tests

[CI] Bump model-checking/kani-github-action from 1.0 to 1.1 (#776) #2205

Sign in to view logs

[CI] Bump model-checking/kani-github-action from 1.0 to 1.1 (#776)

[CI] Bump model-checking/kani-github-action from 1.0 to 1.1 (#776) #2205

Triggered via push January 11, 2024 14:07
@github-merge-queuegithub-merge-queue[bot]
pushed 09b8b0b
main
Status Success
Total duration 5m 18s
Artifacts –

ci.yml

on: push
Generate cache
35s
Generate cache
Run tests under Kani
1m 37s
Run tests under Kani
Check Rust formatting
4s
Check Rust formatting
Check all-jobs-succeeded depends on all jobs
31s
Check all-jobs-succeeded depends on all jobs
Matrix: build_test
Check README.md
6s
Check README.md
Check MSRVs match
9s
Check MSRVs match
Check crate versions match
4s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in