From b81724c38ded43d8c6fcd963d3d3f8c67afe51ec Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Wed, 9 Oct 2019 14:52:35 +0200 Subject: [PATCH] Fix use of markdown on Gitlab CI README --- .gitlab/DockerImages/README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitlab/DockerImages/README.md b/.gitlab/DockerImages/README.md index 5a746042d3..9f754a4883 100644 --- a/.gitlab/DockerImages/README.md +++ b/.gitlab/DockerImages/README.md @@ -3,9 +3,13 @@ In order to speed up building and testing of Racket, we have prepared some Docker images. Currently pushed to DockerHub under the pmatos/racket-ci repo. This is then used in the CI configuration with: +``` image: "pmatos/racket-ci:testdeps" # for testing jobs +``` or: +``` image: "pmatos/racket-ci:builddeps" # for build jobs +``` The Makefile does the build/push automatically but you need to be logged in - use `docker login`.