77 - docker/rhel/Dockerfile
88
99env :
10- GITHUB_REGISTRY : ghcr.io
10+ CONTAINER_REGISTRY : ghcr.io
1111 REDHAT_REGISTRY : registry.redhat.io
12- REDHAT_USER : 19221817|Docker
1312 DOCKER_BUILDKIT : 1
1413 BUILDKIT_PROGRESS : plain
1514 CONAN_VERSION : 2.17.0
@@ -30,15 +29,15 @@ jobs:
3029 - name : Checkout repository
3130 uses : actions/checkout@v4
3231 - name : Login to GitHub Registry
33- run : echo '${{ secrets.GITHUB_TOKEN }}' | docker login ${GITHUB_REGISTRY } -u '${{ github.repository_owner }}' --password-stdin
32+ run : echo '${{ secrets.GITHUB_TOKEN }}' | docker login ${CONTAINER_REGISTRY } -u '${{ github.repository_owner }}' --password-stdin
3433 - name : Login to Red Hat Registry
35- run : echo '${{ secrets.REDHAT_TOKEN }}' | docker login ${REDHAT_REGISTRY} -u '${{ env .REDHAT_USER }}' --password-stdin
34+ run : echo '${{ secrets.REDHAT_TOKEN }}' | docker login ${REDHAT_REGISTRY} -u '${{ secrets .REDHAT_USER }}' --password-stdin
3635 - name : Determine the Docker image name.
3736 run : |
3837 # Convert the repository name to lowercase as the organization name is
3938 # uppercase, which is not permitted by the Docker registry.
4039 DOCKER_REPOSITORY=${GITHUB_REPOSITORY,,}
41- echo "DOCKER_IMAGE=${GITHUB_REGISTRY }/${DOCKER_REPOSITORY}/rhel-${{ matrix.version.os }}:gcc${{ matrix.version.gcc }}" >> $GITHUB_ENV
40+ echo "DOCKER_IMAGE=${CONTAINER_REGISTRY }/${DOCKER_REPOSITORY}/rhel-${{ matrix.version.os }}:gcc${{ matrix.version.gcc }}" >> $GITHUB_ENV
4241 - name : Build the Docker image
4342 working-directory : docker/rhel
4443 run : |
@@ -65,15 +64,15 @@ jobs:
6564 - name : Checkout repository
6665 uses : actions/checkout@v4
6766 - name : Login to GitHub Registry
68- run : echo '${{ secrets.GITHUB_TOKEN }}' | docker login ${GITHUB_REGISTRY } -u '${{ github.repository_owner }}' --password-stdin
67+ run : echo '${{ secrets.GITHUB_TOKEN }}' | docker login ${CONTAINER_REGISTRY } -u '${{ github.repository_owner }}' --password-stdin
6968 - name : Login to Red Hat Registry
7069 run : echo '${{ secrets.REDHAT_TOKEN }}' | docker login ${REDHAT_REGISTRY} -u '${{ env.REDHAT_USER }}' --password-stdin
7170 - name : Determine the Docker image name.
7271 run : |
7372 # Convert the repository name to lowercase as the organization name is
7473 # uppercase, which is not permitted by the Docker registry.
7574 DOCKER_REPOSITORY=${GITHUB_REPOSITORY,,}
76- echo "DOCKER_IMAGE=${GITHUB_REGISTRY }/${DOCKER_REPOSITORY}/rhel-${{ matrix.version.os }}:clang" >> $GITHUB_ENV
75+ echo "DOCKER_IMAGE=${CONTAINER_REGISTRY }/${DOCKER_REPOSITORY}/rhel-${{ matrix.version.os }}:clang" >> $GITHUB_ENV
7776 - name : Build the Docker image
7877 working-directory : docker/rhel
7978 run : |
0 commit comments