Skip to content
Kani Format Check

Fix issues and Update toolchain 10-26 (#2843) #5423

Sign in to view logs

Fix issues and Update toolchain 10-26 (#2843)

Fix issues and Update toolchain 10-26 (#2843) #5423

Triggered via push October 31, 2023 19:53
@adpaco-awsadpaco-aws
pushed d230735
main
Status Success
Total duration 4m 22s
Artifacts –

format-check.yml

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