Skip to content
Kani Format Check

Apply loop contracts only if there exists some usage (#3694) #8776

Sign in to view logs

Apply loop contracts only if there exists some usage (#3694)

Apply loop contracts only if there exists some usage (#3694) #8776

Triggered via push November 8, 2024 02:48
@github-merge-queuegithub-merge-queue[bot]
pushed 8400296
main
Status Success
Total duration 2m 26s
Artifacts –

format-check.yml

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