Repository navigation

ci: skip main re-verification of PR-verified trees; harden release workflow - #403

Merged

entelecheia merged 1 commit into

mainfrom

feat/ci-402-dedup-main-checks

Sep 27, 2026

Merged

ci: skip main re-verification of PR-verified trees; harden release workflow#403
entelecheia merged 1 commit into
mainfrom
feat/ci-402-dedup-main-checks

Commits on Sep 27, 2026
- ci: skip main re-verification of PR-verified trees; harden release workflow
  entelecheia
  committed
  000aabc