Closed sprankhub closed 1 year ago
We should only update Docker Images when we actually push to master. Otherwise, any PR changes our Docker images, which is quite bad :see_no_evil:
master
We should only update Docker Images when we actually push to
master
. Otherwise, any PR changes our Docker images, which is quite bad :see_no_evil: