Skip to content

ci: diff against PR merge base, not current main tip#416

Merged
JonasJesus42 merged 1 commit into
mainfrom
JonasJesus42/ci-test-step
May 4, 2026
Merged

ci: diff against PR merge base, not current main tip#416
JonasJesus42 merged 1 commit into
mainfrom
JonasJesus42/ci-test-step

Commits

Commits on May 4, 2026