Skip to content

ci: migrate CircleCI to GitHub Actions - #18

Closed
jonbaldie wants to merge 1 commit into
mainfrom
chore/remove-agent-orchestration-cruft
Closed

ci: migrate CircleCI to GitHub Actions#18
jonbaldie wants to merge 1 commit into
mainfrom
chore/remove-agent-orchestration-cruft

Conversation

@jonbaldie

Copy link
Copy Markdown
Owner

Summary

  • replace CircleCI with a GitHub Actions workflow
  • preserve the test -> Mutasaurus -> Stryker gates on Deno 2.7.6
  • update CI documentation, badge, Docker ignore rules, and Serena project memory

Validation

  • deno check main.ts
  • deno compile ... main.ts
  • 177 Deno tests passed
  • Mutasaurus: 99% (70/71), all files >=80%
  • Stryker: 505/526 killed, all files >=80%

The existing local .serena/project.yml edit is intentionally not included.

Copy link
Copy Markdown
Owner Author

Superseded by #39, which reapplies the proven GitHub Actions migration onto current main, includes the requested Serena tooling refresh, and removes the obsolete CircleCI webhook before CI runs.

@jonbaldie jonbaldie closed this Jul 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant