small cleanup of handling of ignored paths #9729

Triggered via pull request December 12, 2023 15:24

firewave

opened #5757

firewave:ignore

Status Success

Total duration 6m 49s

Artifacts 1

valgrind.yml

on: pull_request

Produced during runtime

Name	Size
Logs Expired	674 Bytes