Build base with dependencies #13
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build base with dependencies | |
| # Builds the Storm basesystem Docker images with dependencies and deploys them to Dockerhub | |
| # Build is distributed across multiple runners based on: | |
| # https://docs.docker.com/build/ci/github-actions/multi-platform/#distribute-build-across-multiple-runners | |
| on: | |
| # needed to trigger the workflow manually | |
| workflow_dispatch: | |
| env: | |
| IMAGE: mvolk/storm-dependencies | |
| jobs: | |
| build: | |
| name: Build ${{ matrix.image.name }} on ${{ matrix.platform }} | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| image: | |
| - {name: "latest", baseImg: "movesrwth/carl-storm:14.28", file: "storm-dependencies/Dockerfile"} | |
| - {name: "latest-debug", baseImg: "movesrwth/carl-storm:14.28-debug", file: "storm-dependencies/Dockerfile"} | |
| platform: | |
| - linux/amd64 | |
| - linux/arm64 | |
| steps: | |
| - name: Prepare | |
| # Sanitize platform name | |
| run: | | |
| platform=${{ matrix.platform }} | |
| echo "PLATFORM=${platform//\//-}" >> $GITHUB_ENV | |
| - name: Docker metadata | |
| id: meta | |
| uses: docker/metadata-action@v5 | |
| with: | |
| images: ${{ env.IMAGE }} | |
| tags: | | |
| type=raw,${{ matrix.image.name }} | |
| - name: Set up QEMU | |
| uses: docker/setup-qemu-action@v3 | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Login to Docker Hub | |
| # Only login if using original repo | |
| if: github.repository_owner == 'moves-rwth' | |
| uses: docker/login-action@v3 | |
| with: | |
| username: ${{ secrets.DOCKER_NAME }} | |
| password: ${{ secrets.DOCKER_TOKEN }} | |
| - name: Build and push by digest | |
| id: build | |
| uses: docker/build-push-action@v6 | |
| with: | |
| file: ${{ matrix.image.file }} | |
| build-args: | | |
| BASE_IMAGE=${{ matrix.image.baseImg }} | |
| platforms: ${{ matrix.platform }} | |
| labels: ${{ steps.meta.outputs.labels }} | |
| outputs: type=image,name=${{ env.IMAGE }},push-by-digest=true,name-canonical=true,push=true | |
| - name: Export digest | |
| run: | | |
| mkdir -p /tmp/digests/${{ matrix.image.name }} | |
| digest="${{ steps.build.outputs.digest }}" | |
| touch "/tmp/digests/${{ matrix.image.name }}/${digest#sha256:}" | |
| - name: Upload digest | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: ${{ matrix.image.name }}-digests-${{ env.PLATFORM }} | |
| path: /tmp/digests/${{ matrix.image.name }}/* | |
| if-no-files-found: error | |
| retention-days: 1 | |
| merge: | |
| name: Merge manifests for ${{ matrix.image.name }} | |
| runs-on: ubuntu-latest | |
| needs: | |
| - build | |
| strategy: | |
| matrix: | |
| image: | |
| # Must be the same as above | |
| - {name: "latest"} | |
| - {name: "latest-debug"} | |
| steps: | |
| - name: Download digests | |
| uses: actions/download-artifact@v4 | |
| with: | |
| path: /tmp/digests/${{ matrix.image.name }} | |
| pattern: ${{ matrix.image.name }}-digests-* | |
| merge-multiple: true | |
| - name: Set up Docker Buildx | |
| uses: docker/setup-buildx-action@v3 | |
| - name: Docker metadata | |
| id: meta | |
| uses: docker/metadata-action@v5 | |
| with: | |
| images: ${{ env.IMAGE }} | |
| tags: | | |
| type=raw,${{ matrix.image.name }} | |
| - name: Login to Docker Hub | |
| # Only login if using original repo | |
| if: github.repository_owner == 'moves-rwth' | |
| uses: docker/login-action@v3 | |
| with: | |
| username: ${{ secrets.DOCKER_NAME }} | |
| password: ${{ secrets.DOCKER_TOKEN }} | |
| - name: Create manifest list and push | |
| working-directory: /tmp/digests/${{ matrix.image.name }} | |
| run: | | |
| docker buildx imagetools create $(jq -cr '.tags | map("-t " + .) | join(" ")' <<< '${{ steps.meta.outputs.json}}') \ | |
| $(printf '${{ env.IMAGE }}@sha256:%s ' *) | |
| - name: Inspect image | |
| run: | | |
| docker buildx imagetools inspect ${{ env.IMAGE }}:${{ steps.meta.outputs.version }} |