Repository navigation

ci(verify): ignore PR edits that don't change the base - #24

Merged

MusaMisto merged 1 commit into

mainfrom

chore/verify-ignore-pr-edits

Nov 3, 2026

Merged

ci(verify): ignore PR edits that don't change the base#24
MusaMisto merged 1 commit into
mainfrom
chore/verify-ignore-pr-edits

Commits on Nov 3, 2026
- ci(verify): a PR edit that does not change the base neither cancels nor repeats the push's run
  MusaMisto
  committed
  5673d44