@@ -42,16 +42,14 @@ GCC_VERSION=12
4242CONAN_VERSION=2.17.0
4343DOCKER_IMAGE=xrplf/ci/debian-${DEBIAN_VERSION} :gcc${GCC_VERSION}
4444
45- DOCKER_BUILDKIT=1 docker build . \
45+ DOCKER_BUILDKIT=1 BUILDKIT_PROGRESS=plain docker build . \
4646 --target gcc \
4747 --build-arg BUILDKIT_INLINE_CACHE=1 \
4848 --build-arg DEBIAN_VERSION=${DEBIAN_VERSION} \
4949 --build-arg GCC_VERSION=${GCC_VERSION} \
5050 --build-arg CONAN_VERSION=${CONAN_VERSION} \
5151 --tag ${GITHUB_REGISTRY} /${DOCKER_IMAGE} \
5252 --platform linux/amd64
53-
54- docker push ${GITHUB_REGISTRY} /${DOCKER_IMAGE}
5553```
5654
5755#### Building the Docker image for Clang.
@@ -65,16 +63,14 @@ CLANG_VERSION=17
6563CONAN_VERSION=2.17.0
6664DOCKER_IMAGE=xrplf/ci/debian-${DEBIAN_VERSION} :clang${CLANG_VERSION}
6765
68- DOCKER_BUILDKIT=1 docker build . \
66+ DOCKER_BUILDKIT=1 BUILDKIT_PROGRESS=plain docker build . \
6967 --target clang \
7068 --build-arg BUILDKIT_INLINE_CACHE=1 \
7169 --build-arg DEBIAN_VERSION=${DEBIAN_VERSION} \
7270 --build-arg CLANG_VERSION=${CLANG_VERSION} \
7371 --build-arg CONAN_VERSION=${CONAN_VERSION} \
7472 --tag ${GITHUB_REGISTRY} /${DOCKER_IMAGE} \
7573 --platform linux/amd64
76-
77- docker push ${GITHUB_REGISTRY} /${DOCKER_IMAGE}
7874```
7975
8076#### Running the Docker image
@@ -107,3 +103,13 @@ PARALLELISM=2
107103cmake --build . -j ${PARALLELISM}
108104./rippled --unittest --unittest-jobs ${PARALLELISM}
109105```
106+ ```
107+
108+ #### Pushing the Docker image to the GitHub registry
109+
110+ If you want to push the image to the GitHub registry, you can do so with the
111+ following command:
112+
113+ ```shell
114+ docker push ${GITHUB_REGISTRY}/${DOCKER_IMAGE}
115+ ```
0 commit comments