Skip to content
Kani Format Check

Add support for quantifiers #10245

Sign in to view logs

Add support for quantifiers

Add support for quantifiers #10245

Triggered via pull request May 7, 2025 16:34
@qinhepingqinheping
synchronize #3993
qinheping:quantifiers
Status Success
Total duration 2m 51s
Artifacts –

format-check.yml

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