Handoff: finish CircleCI to GitHub Actions migration (PR #18)

[jonbaldie]

Handoff

Focus for the next session: finish and ship the CircleCI → GitHub Actions migration.

Current state

• Branch: chore/remove-agent-orchestration-cruft
• Commit: 6f41636 (ci: migrate CircleCI to GitHub Actions)
• PR: ci: migrate CircleCI to GitHub Actions #18 — ci: migrate CircleCI to GitHub Actions #18
• PR is open and mergeable, but not merged.
• The existing local .serena/project.yml edit is unstaged and must be preserved.

Completed

• Removed .circleci/config.yml.
• Added .github/workflows/ci.yml with the same ordered gates: Test → Mutasaurus → Stryker.
• Pinned all Deno setup steps to 2.7.6.
• Updated AGENTS.md, README CI badge, .dockerignore, .gitignore, and tracked Serena project memory.
• No CircleCI references remain in tracked/searchable project files.
• Two-axis code review found no hard standards/spec violations. It noted only that GitHub Actions uses a 30-minute hard Stryker job timeout versus CircleCI’s 25-minute inactivity timeout.

Validation

• deno check main.ts passed.
• deno compile ... main.ts passed.
• Full Deno suite passed: 177 tests, including E2E socket tests.
• Mutasaurus passed: 99% (70/71), every file at least 80%.
• Stryker passed: 505/526 killed, every file at least 80%.
• GitHub Actions checks on PR ci: migrate CircleCI to GitHub Actions #18 passed for Test, Mutasaurus, and Stryker (both push and pull_request runs).

Blocker / next steps

The PR still shows a failing stale CircleCI Pipeline status from CircleCI pipeline 122: “No configuration was found in your project.” Branch protection reports no required status checks, and GitHub reports the PR as mergeable but UNSTABLE because of this old status context.

1. Remove or disconnect the repository’s obsolete CircleCI project/integration so it stops posting CircleCI Pipeline failures. A direct unauthenticated POST to /api/v2/project/gh/jonbaldie/queue/unfollow returned 404; no CircleCI token was available.
2. Re-check PR ci: migrate CircleCI to GitHub Actions #18 until the stale context is gone and the PR is genuinely green.
3. Merge PR ci: migrate CircleCI to GitHub Actions #18 into main.
4. Verify the merged main commit and GitHub Actions status.

Suggested skills

• implement to finish the migration and merge.
• diagnosing-bugs if the stale CircleCI status needs investigation.
• code-review if the final diff changes.