Skip to content
Rust Tests

Check path #20

Sign in to view logs

Check path

Check path #20

Triggered via push July 30, 2024 23:34
@jaisnanjaisnan
pushed f898c50
test-newer-kani-scripts
Status Success
Total duration 2m 50s
Artifacts –

rustc.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in