Repository navigation

ci: label pull requests that touch a sensitive path - #34

Merged

guillaume-flambard merged 1 commit into

mainfrom

chore/sensitive-paths-label

Oct 17, 2026

Merged

ci: label pull requests that touch a sensitive path#34
guillaume-flambard merged 1 commit into
mainfrom
chore/sensitive-paths-label

Commits on Oct 17, 2026
- ci: label pull requests that touch a sensitive path
  guillaume-flambard
  committed
  fc2d787