From 2ae63d957d939254cc4b6562c150daac33f80113 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 6 May 2020 10:20:25 -0400 Subject: [PATCH] Update README.md --- .github/workflows/DockerImages/README.md | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/.github/workflows/DockerImages/README.md b/.github/workflows/DockerImages/README.md index 9f754a4883..b0d41df8fb 100644 --- a/.github/workflows/DockerImages/README.md +++ b/.github/workflows/DockerImages/README.md @@ -1,15 +1,18 @@ -# Docker images for Gitlab CI +# Docker images for CI 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 +Currently pushed to DockerHub under the racket/racket-ci repo. This is then used in the CI configuration with: ``` - image: "pmatos/racket-ci:testdeps" # for testing jobs + image: "racket/racket-ci:testdeps" # for testing jobs ``` or: ``` - image: "pmatos/racket-ci:builddeps" # for build jobs + image: "racket/racket-ci:builddeps" # for build jobs ``` - -The Makefile does the build/push automatically but you need to be logged in - use `docker login`. + +The images are automatically build and uploaded on all commits by Docker Hub. + +To update manually, use the Makefile in this directory, but you need to be logged in - use `docker login`. +