search

space-ros / docker

Docker images to facilitate Docker-based development.
15 stars 12 forks source link

Update GA to push image to Docker Hub only on tags (#93). #133

Closed ivanperez-keera closed 5 months ago

ivanperez-keera commented 5 months ago

This commit disables pushes of the spaceros docker image up to Docker Hub on the main branch, and it enables pushes on tags. It also enables manually triggering the build job.

This will help ensure that only stable version are pushed to Docker Hub.