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