👋 @ericmjl (cc @hugobowne as Eric is busy for good reason — congrats Eric!) would you be open to having the CI get revamped so that it is working again if it is redone in GitHub Actions? Or would do you strongly prefer to have it be done in Azure pipelines?
👋 @ericmjl (cc @hugobowne as Eric is busy for good reason — congrats Eric!) would you be open to having the CI get revamped so that it is working again if it is redone in GitHub Actions? Or would do you strongly prefer to have it be done in Azure pipelines?