Repository navigation

codegen-orchestrator-1706: Wake PR CI after authenticated GitHub completion - #846

Merged

vladmesh merged 2 commits into

mainfrom

pipeline/codegen-orchestrator-1706

Oct 18, 2026

Merged

codegen-orchestrator-1706: Wake PR CI after authenticated GitHub completion#846
vladmesh merged 2 commits into
mainfrom
pipeline/codegen-orchestrator-1706

Commits on Oct 18, 2026
- Wake the PR/CI sweep on a signed GitHub workflow completion
  vladmesh
  committed
  a0957ad
- Refuse NaN and infinities in GitHub webhook deliveries
  vladmesh
  committed
  f29699f