/dev/ci/docker/bionic_coq/