Skip to content
Rust

main: early exit for --no-verify for just model checking #274

Sign in to view logs

main: early exit for --no-verify for just model checking

main: early exit for --no-verify for just model checking #274

Triggered via push January 30, 2025 18:26
@Philipp15bPhilipp15b
pushed 423e785
main
Status Success
Total duration 15m 9s
Artifacts –

rust.yml

on: push
Test Suite
15m 1s
Test Suite
Rustfmt
5s
Rustfmt
Clippy
13m 37s
Clippy
Fit to window
Zoom out
Zoom in