Skip to content

ci: migrate CircleCI to GitHub Actions#18

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

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.

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