baxin's picture
Update GitHub Actions workflow: change branch from edge to main and update push command
bd308dc