Skip to content
Kani Format Check

scanner: Fix loop stats in overall function stats summary (#3915) #9679

Sign in to view logs

scanner: Fix loop stats in overall function stats summary (#3915)

scanner: Fix loop stats in overall function stats summary (#3915) #9679

Triggered via push March 4, 2025 19:27
@github-merge-queuegithub-merge-queue[bot]
pushed f604bef
gh-readonly-queue/main/pr-3915-fecc7e47bac7625bf85ff5888af37d96904d246e
Status Success
Total duration 2m 30s
Artifacts –

format-check.yml

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