v0.0.0-6424-g507358c72

github_workflows: clean up workflow

- rename workflow file to better reflect current state
- only deploy on push event (Fixes #1742)

PiperOrigin-RevId: 698950685