Try to fix CI by only running docker-push on merging with master

src-d / blog

source{d} blog

https://blog.sourced.tech/

GNU General Public License v3.0

27 stars 41 forks source link

Closed Serabe closed 7 years ago

Serabe commented 7 years ago

First part is fixed: docker-push is not being run in each PR. Let's see what happens on merging.