Skip to content
Rust

add some kani proofs #3

Sign in to view logs

add some kani proofs

add some kani proofs #3

Triggered via push September 26, 2024 13:19
@somethingelseentirelysomethingelseentirely
pushed e3fea82
main
Status Failure
Total duration 44s
Artifacts –

rust.yml

on: push
test
31s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 101.