Skip to content
Rust

remove z3 again #123

Sign in to view logs

remove z3 again

remove z3 again #123

Triggered via push January 18, 2024 09:12
@HKalbasiHKalbasi
pushed d42e4e3
main
Status Failure
Total duration 3m 33s
Artifacts –

rust.yml

on: push
build
3m 25s
build
lints
1m 4s
lints
Format
7s
Format
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Format
Process completed with exit code 1.
lints
Process completed with exit code 101.
build
Process completed with exit code 101.