Migrate from CircleCI to GitHub Actions for CI #7732

Activity

1. camdecoster

   added

   infrastructurebuild process etc.build process etc.

   on Mar 23, 2026
2. camdecoster

   self-assigned this

   on Mar 23, 2026
3. KushDutta23 commented on Mar 26, 2026

   

   KushDutta23

   on Mar 26, 2026

   More actions

   Thanks for raising this.

   I can take a look at migrating the existing CircleCI configuration to GitHub Actions. I’ll review the current setup and try to replicate the same steps in a GitHub Actions workflow.

   Please let me know if there are any specific requirements or constraints to keep in mind.
4. camdecoster commented on Mar 26, 2026

   

   camdecoster

   on Mar 26, 2026

   ContributorAuthor

   More actions

   Thanks for the offer, but I've already started work on it. Would you like to help with another issue?
5. camdecoster

   closed this as completedin #7754on Apr 17, 2026