Skip to content
Kani Format Check

validate_instance: make sure we actually have a body #216

Sign in to view logs

validate_instance: make sure we actually have a body

validate_instance: make sure we actually have a body #216

Triggered via push December 5, 2023 08:44
@tautschnigtautschnig
pushed 9f2d97b
toolchain-2023-12-03-manual
Status Success
Total duration 3m 5s
Artifacts –

format-check.yml

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