Skip to content
Rust

try to disable z3 #122

Sign in to view logs

try to disable z3

try to disable z3 #122

Triggered via push January 18, 2024 09:02
@HKalbasiHKalbasi
pushed aad203c
main
Status Failure
Total duration 3m 43s
Artifacts –

rust.yml

on: push
build
3m 32s
build
lints
1m 9s
lints
Format
3s
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.