Skip to content

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

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

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

Triggered via pull request August 6, 2025 12:26
Status Success
Total duration 9m 40s
Artifacts 1

coverage.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Coverage results Expired
7.4 MB
sha256:2285dd2eef10f90045883047aebecc6e480155075d3c4dcfad48c5fb2b0a9564