docker workflow must not push image on pull request
bwbohl opened this issue · 1 comments
bwbohl commented
As surfaced with #4, the docker image gets pushed on pull requests. This should absolutely not be the case!
musicEnfanthen commented
Fixed in #9