Skip to content
Kani Format Check

Change println to info #355

Sign in to view logs

Change println to info

Change println to info #355

Triggered via push December 4, 2023 22:46
@zhassan-awszhassan-aws
pushed 52c1c99
smt-builtins
Status Success
Total duration 2m 55s
Artifacts –

format-check.yml

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