schemadoc: docker pull if image missing (!6138) · Merge requests · Administrator / sourcegraph

Created by: keegancsmith

This is to avoid the 30s timeout we use for run.

Test Plan: Checked that the script worked with and without the image being presents:

docker pull postgres:9.6
go generate ./cmd/frontend/db
docker image rm postgres:9.6
go generate ./cmd/frontend/db

schemadoc: docker pull if image missing