Skip to content
Kani Format Check

Add a test that deallocates a stack variable #295

Sign in to view logs

Add a test that deallocates a stack variable

Add a test that deallocates a stack variable #295

Triggered via push August 29, 2023 20:02
@zhassan-awszhassan-aws
pushed 5b72b8e
dealloc-stack-test
Status Success
Total duration 5m 32s
Artifacts –

format-check.yml

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

Annotations

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