do not push new docker images for pull requests

pull/262/head
Florian Gabsteiger 5 years ago
parent 98f4828db4
commit cb88c7bc7c

@ -3,8 +3,6 @@ name: docker
on: on:
push: push:
branches: [master] branches: [master]
pull_request:
branches: [master]
jobs: jobs:
build-and-push: build-and-push:

Loading…
Cancel
Save