Update GitHub Actions workflow: change branch from edge to main and update push command bd308dc baxin commited on May 24