Skip to content

CI: Ignore text files when triggering GitHub CI#26

Merged
derobins merged 1 commit into
developfrom
derobins/paths-ignore
Nov 5, 2025
Merged

CI: Ignore text files when triggering GitHub CI#26
derobins merged 1 commit into
developfrom
derobins/paths-ignore

Commits

Commits on Nov 5, 2025