Skip to content

small cleanup of handling of ignored paths #8174

small cleanup of handling of ignored paths

small cleanup of handling of ignored paths #8174

Triggered via pull request December 12, 2023 15:24
Status Success
Total duration 2m 2s
Artifacts

format.yml

on: pull_request
Fit to window
Zoom out
Zoom in