Repository navigation

ci: run PR builds automatically for maintainer-authored PRs - #23

Merged

insertt merged 1 commit into

mainfrom

ci/auto-run-maintainer-prs

Nov 4, 2026

Merged

ci: run PR builds automatically for maintainer-authored PRs#23
insertt merged 1 commit into
mainfrom
ci/auto-run-maintainer-prs

Commits on Nov 4, 2026
- ci: run PR builds automatically for maintainer-authored PRs
  insertt
  committed
  b70549f