[CI] added ignored paths to push requests as well#134

Merged

cvanaret merged 1 commit intomainfrom ci_ignore_paths

Dec 11, 2024

+26-1

Commits on Dec 11, 2024

[CI] added ingored paths to push requests as well
cvanaret
committed