Migrate workflow to GitHub Actions
Merged
SE
1y ago+183+183+012345678901234567890123456789-74-74-01234567890123456789
This PR moves the workflow for the build pipeline from Azure DevOps to GitHub Actions.
This PR moves the workflow for the build pipeline from Azure DevOps to GitHub Actions.