Skip to content
Rust Tests

Merge branch 'main' of https://github.com/model-checking/verify-rust-… #27

Sign in to view logs

Merge branch 'main' of https://github.com/model-checking/verify-rust-…

Merge branch 'main' of https://github.com/model-checking/verify-rust-… #27

Triggered via push September 6, 2024 18:35
@jaisnanjaisnan
pushed 60725a0
add-script-to-automate-build
Status Success
Total duration 6m 55s
Artifacts –

rustc.yml

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