ci: only build non-frontend images when pushing to "docker-images/" (!1758) · Merge requests · Administrator / sourcegraph

Administrator requested to merge ci-build-non-frontend into master Jan 09, 2019

Created by: ggilmore

Both sourcegraph/server and sourcegraph/frontend should not be built when pushing to docker-images/* so that we don't accidentally push an outdated frontend / server version under the "insiders" tag.

ci: only build non-frontend images when pushing to "docker-images/"

Merge request reports