small cleanup of handling of ignored paths #9881
Triggered via pull request
December 12, 2023 15:24
Status
Success
Total duration
11m 34s
Artifacts
–