Move build
workflow from CircleCI to GitHub Actions
#1974
Merged
build
workflow from CircleCI to GitHub Actions
#1974