Skip to content

fix #11824: Option --max-configs has no effect if -D is used #14391

fix #11824: Option --max-configs has no effect if -D is used

fix #11824: Option --max-configs has no effect if -D is used #14391

Triggered via pull request August 30, 2025 01:03
Status Success
Total duration 12m 28s
Artifacts 1

selfcheck.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Callgrind Output Expired
769 KB
sha256:2446943d11cf768ba9aa5c76ad570965dc2c4c1985438a47ccae11acad6021d0