1- # Build Docker images for Ubuntu with different versions of GCC and Clang and
2- # push them to the GitHub Container Registry.
3- # Note: Some environment variables used in the workflow are defined in the repo
4- # settings at https://github.com/XRPLF/ci/settings/variables/actions.
51name : Ubuntu
62
73on :
117 - docker/ubuntu/Dockerfile
128
139env :
10+ DOCKER_REGISTRY : ghcr.io
1411 DOCKER_BUILDKIT : 1
1512 BUILDKIT_PROGRESS : plain
13+ CONAN_VERSION : 2.17.0
1614
1715jobs :
1816 # Build the Docker image for Ubuntu using different versions of GCC. See
@@ -32,17 +30,17 @@ jobs:
3230 - name : Checkout repository
3331 uses : actions/checkout@v4
3432 - name : Login to GitHub Container Registry
35- run : echo "${{ secrets.GITHUB_TOKEN }}" | docker login ${{ env. DOCKER_REGISTRY } } -u ${{ github.repository_owner }} --password-stdin
33+ run : echo "${{ secrets.GITHUB_TOKEN }}" | docker login ${DOCKER_REGISTRY} -u ${{ github.repository_owner }} --password-stdin
3634 - name : Determine the Docker image name.
3735 run : |
3836 # Convert the repository name to lowercase as the organization name is
3937 # uppercase, which is not permitted by the Docker registry.
4038 DOCKER_REPOSITORY=${GITHUB_REPOSITORY,,}
41- echo "DOCKER_IMAGE=${{ env. DOCKER_REGISTRY } }/${DOCKER_REPOSITORY}/ubuntu-${{ matrix.version.os }}:gcc${{ matrix.version.gcc }}" >> $GITHUB_ENV
39+ echo "DOCKER_IMAGE=${DOCKER_REGISTRY}/${DOCKER_REPOSITORY}/ubuntu-${{ matrix.version.os }}:gcc${{ matrix.version.gcc }}" >> $GITHUB_ENV
4240 - name : Build the Docker image
4341 working-directory : docker/ubuntu
4442 run : |
45- docker build . \
43+ DOCKER_BUILDKIT=1 docker build . \
4644 --target gcc \
4745 --build-arg GITHUB_REPO=${GITHUB_REPOSITORY} \
4846 --build-arg UBUNTU_VERSION=${{ matrix.version.os }} \
@@ -71,13 +69,13 @@ jobs:
7169 - name : Checkout repository
7270 uses : actions/checkout@v4
7371 - name : Login to GitHub Container Registry
74- run : echo "${{ secrets.GITHUB_TOKEN }}" | docker login ${{ env. DOCKER_REGISTRY } } -u ${{ github.repository_owner }} --password-stdin
72+ run : echo "${{ secrets.GITHUB_TOKEN }}" | docker login ${DOCKER_REGISTRY} -u ${{ github.repository_owner }} --password-stdin
7573 - name : Determine the Docker image name.
7674 run : |
7775 # Convert the repository name to lowercase as the organization name is
7876 # uppercase, which is not permitted by the Docker registry.
7977 DOCKER_REPOSITORY=${GITHUB_REPOSITORY,,}
80- echo "DOCKER_IMAGE=${{ env. DOCKER_REGISTRY } }/${DOCKER_REPOSITORY}/ubuntu-${{ matrix.version.os }}:clang${{ matrix.version.clang }}" >> $GITHUB_ENV
78+ echo "DOCKER_IMAGE=${DOCKER_REGISTRY}/${DOCKER_REPOSITORY}/ubuntu-${{ matrix.version.os }}:clang${{ matrix.version.clang }}" >> $GITHUB_ENV
8179 - name : Build the Docker image
8280 working-directory : docker/ubuntu
8381 run : |
0 commit comments