Repository navigation

Add .github/** to CI path filter - #3

Merged

joa-quim merged 1 commit into

fix-ci-path-filter

Feb 3, 2026

Merged

Add .github/** to CI path filter#3
joa-quim merged 1 commit into
masterfrom
fix-ci-path-filter

Commits on Feb 3, 2026
- Add .github/** to TestOnPRs path filter
  
  joa-quim
  and
  claude
  committed
  975704d