Two PRs predate the merge-train work and were superseded by newer landings: - **PR #16** (`ci(elixir): add GitHub Actions workflow`) — superseded by `c56ebe2 chore(ci): add elixir CI workflow` which already landed. - **PR #18** (`[codex] Add workflow flag to GitHub setup`) — superseded by PR #30 which closed #8. Both PRs have failing CI on the pre-PR-27 coverage gap that no longer applies to current main. ## Action Close both PRs with a comment referencing the superseding PR and pointing to the merge train final summary in #21 (closed). ## Acceptance - Both PRs closed (not merged). - Comment on each PR identifies what superseded it. - No agent work needed — purely maintainer cleanup.
Two PRs predate the merge-train work and were superseded by newer landings:
ci(elixir): add GitHub Actions workflow) — superseded byc56ebe2 chore(ci): add elixir CI workflowwhich already landed.[codex] Add workflow flag to GitHub setup) — superseded by PR Add workflow path flag to GitHub project setup #30 which closed Add --workflow PATH flag to mix symphony.setup.github_project #8.Both PRs have failing CI on the pre-PR-27 coverage gap that no longer applies to current main.
Action
Close both PRs with a comment referencing the superseding PR and pointing to the merge train final summary in #21 (closed).
Acceptance