more cleanups in handling of ignored files #9767

Triggered via pull request December 15, 2023 17:55

firewave

opened #5767

firewave:ignored2

Status Success

Total duration 3m 24s

Artifacts 1

valgrind.yml

on: pull_request

Produced during runtime

Name	Size
Logs Expired	674 Bytes