Skip to content
Kani Format Check

Remove --mir-linker from Cargo.toml #553

Sign in to view logs

Remove --mir-linker from Cargo.toml

Remove --mir-linker from Cargo.toml #553

Triggered via push October 1, 2024 21:03
@zhassan-awszhassan-aws
pushed 040ab6f
remove-linker-options
Status Failure
Total duration 2m 14s
Artifacts –

format-check.yml

on: push
format-check
8s
format-check
clippy-check
2m 2s
clippy-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
format-check
Process completed with exit code 1.