Skip to content

GitHub Actions: Trigger Pint workflow with paths filter#3

Merged
tangrufus merged 1 commit intomainfrom
pint-paths
Dec 18, 2024
Merged

GitHub Actions: Trigger Pint workflow with paths filter#3
tangrufus merged 1 commit intomainfrom
pint-paths

Commits

Commits on Dec 18, 2024