Skip to content

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

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

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

Triggered via pull request August 27, 2025 02:36
Status Success
Total duration 10m 4s
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.41 MB
sha256:a81362f37b328260280510058477f043cb69b01454b300d986827cf8c4fabdac