Skip to content

GitHub Actions: Trigger Pint workflow with paths filter#3

Merged
tangrufus merged 1 commit intomainfrom pint-pathsDec 18, 2024

Commits

Commits on Dec 18, 2024