Skip to content
Rust

fix kani tests; cleanup; bump version #17

Sign in to view logs

fix kani tests; cleanup; bump version

fix kani tests; cleanup; bump version #17

Triggered via push November 25, 2024 10:21
@somethingelseentirelysomethingelseentirely
pushed 6ddc885
main
Status Success
Total duration 1m 16s
Artifacts –

rust.yml

on: push
test
1m 6s
test
Fit to window
Zoom out
Zoom in