Skip to content
Kani Format Check

Merge branch 'main' into toolchain-2024-06-23 #6893

Sign in to view logs

Merge branch 'main' into toolchain-2024-06-23

Merge branch 'main' into toolchain-2024-06-23 #6893

Triggered via push June 25, 2024 04:16
@zhassan-awszhassan-aws
pushed 8c96507
toolchain-2024-06-23
Status Success
Total duration 2m 51s
Artifacts –

format-check.yml

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