Skip to content
Kani Format Check

Add a MIR pass to extract usage of unsafe constructs #296

Sign in to view logs

Add a MIR pass to extract usage of unsafe constructs

Add a MIR pass to extract usage of unsafe constructs #296

Triggered via push August 30, 2023 02:23
@zhassan-awszhassan-aws
pushed 666ccf1
extract-unsafe
Status Failure
Total duration 2m 53s
Artifacts –

format-check.yml

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

Annotations

2 errors
format-check
Process completed with exit code 123.
clippy-check
Process completed with exit code 101.