Repository navigation

ci: Trigger pipeline for pull requests - #1318

Merged

peanutfun merged 2 commits into

github-workflow-for-pr

Sep 15, 2026

Merged

ci: Trigger pipeline for pull requests#1318
peanutfun merged 2 commits into
developfrom
github-workflow-for-pr

Commits on Sep 7, 2026
- ci: Trigger pipeline for pull requests
  peanutfun
  committed
  5974c9b
Commits on Sep 15, 2026
- Add info on approving workflow runs to CONTRIBUTING.md
  peanutfun
  committed
  b04a0e0