Repository navigation

Run the pull request build on draft PRs - #884

Merged

arandito merged 2 commits into

ci/pr-build-on-drafts

Nov 2, 2026

Merged

Run the pull request build on draft PRs#884
arandito merged 2 commits into
developfrom
ci/pr-build-on-drafts

Commits on Nov 2, 2026
- Run the pull request build on draft PRs
  jonathan343
  committed
  914df22
- Drop the reopened trigger
  jonathan343
  committed
  39a529b