Skip to content
Build & Tests

[proofs] Initial commit #1843

Sign in to view logs

[proofs] Initial commit

[proofs] Initial commit #1843

Triggered via pull request November 28, 2023 19:49
@joshlfjoshlf
synchronize #652
proof-cleanup
Status Success
Total duration 5m 29s
Artifacts –

ci.yml

on: pull_request
Generate cache
32s
Generate cache
Run tests under Kani
1m 30s
Run tests under Kani
Check Rust formatting
8s
Check Rust formatting
Matrix: build_test
Check README.md
8s
Check README.md
Check MSRVs match
12s
Check MSRVs match
Check crate versions match
11s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in