We should migrate all our CircleCI jobs to GitHub actions as part of our migration away from CircleCI. If any CirlceCI jobs run using a Windows environment we should discuss before moving since running Windows in GHA may be more expensive.