Skip to content
Rust

add support for z3 probes #275

Sign in to view logs

add support for z3 probes

add support for z3 probes #275

Triggered via push January 31, 2025 20:00
@Philipp15bPhilipp15b
pushed 4d47855
main
Status Failure
Total duration 15m 25s
Artifacts –

rust.yml

on: push
Test Suite
15m 14s
Test Suite
Rustfmt
11s
Rustfmt
Clippy
13m 34s
Clippy
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Rustfmt
Process completed with exit code 1.
Clippy
Process completed with exit code 101.