Skip to content
Rust Tests

Fix path #21

Sign in to view logs

Fix path

Fix path #21

Triggered via push July 30, 2024 23:36
@jaisnanjaisnan
pushed 139b394
test-newer-kani-scripts
Status Success
Total duration 6m 54s
Artifacts –

rustc.yml

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