Skip to content
Kani Format Check

Add assert and function body #8777

Sign in to view logs

Add assert and function body

Add assert and function body #8777

Triggered via push November 8, 2024 13:53
@jaisnanjaisnan
pushed 407ee44
turn-clause-to-contract
Status Failure
Total duration 2m 4s
Artifacts –

format-check.yml

on: push
format-check
7s
format-check
clippy-check
1m 54s
clippy-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
clippy-check
Process completed with exit code 101.