Migrate CI from CircleCI to GitHub Actions#75
Conversation
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
…ctly Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
|
@copilot getting error |
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
Fixed in commit cbf3490. The issue was that when running tests in a GitHub Actions container, the MongoDB service is accessible via the service name |
|
@copilot fix lint and bump mongo version to 6 |
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
|
@copilot only test python versions 3.10 - 3.14 |
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
|
We should probably vendor this but it's still referenced in cleanchausie as well. Was easier to just ask copilot to migrate :) |
Co-authored-by: nsaje <156006+nsaje@users.noreply.github.com>
Migration Plan: CircleCI to GitHub Actions
Based on the current CircleCI configuration and the socketshark example, here's the plan:
.github/workflows/test.yamlworkflow file.circleci/config.yml)Original prompt
✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.