Skip to content

Build basesystem

Build basesystem #18

Workflow file for this run

name: Build basesystem
# Builds the Storm basesystem Docker images 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:
jobs:
build:
name: Build for ${{ matrix.image.name }} on ${{ matrix.platform }}
runs-on: ubuntu-latest
strategy:
matrix:
image:
- {name: "ubuntu-20.04", baseImg: "ubuntu:20.04", file: "Dockerfile"}
- {name: "debian-11", baseImg: "debian:11", file: "Dockerfile"}
- {name: "ubuntu-22.04", baseImg: "ubuntu:22.04", file: "Dockerfile"}
- {name: "debian-12", baseImg: "debian:12", file: "Dockerfile"}
- {name: "ubuntu-24.04", baseImg: "ubuntu:24.04", file: "Dockerfile"}
- {name: "latest", baseImg: "ubuntu:rolling", file: "Dockerfile"}
- {name: "minimal_dependencies", baseImg: "ubuntu:rolling", file: "Dockerfile.minimal_dependencies"}
platform:
- linux/amd64
- linux/arm64
steps:
- name: Prepare
# Sanitize platform name
run: |
platform=${{ matrix.platform }}
echo "PLATFORM_PAIR=${platform//\//-}" >> $GITHUB_ENV
- name: Docker meta
id: meta
uses: docker/metadata-action@v5
with:
images: mvolk/storm-basesystem:${{ 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: storm-basesystem/${{ matrix.image.file }}
build-args: LINUX_BASE=${{ matrix.image.baseImg }}
platforms: ${{ matrix.platform }}
labels: ${{ steps.meta.outpus.labels }}
outputs: type=image,name=mvolk/storm-basesystem:${{ matrix.image.name }},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 }}-digests-${{ env.PLATFORM_PAIR }}
path: /tmp/digests/${{ matrix.image }}/*
if-no-files-found: error
retention-days: 1
merge:
name: Merge Docker manifests for ${{ matrix.image.name }}
runs-on: ubuntu-latest
needs:
- build
strategy:
matrix:
image:
# Must be the same as before
- {name: "ubuntu-20.04", baseImg: "ubuntu:20.04"}
- {name: "debian-11", baseImg: "debian:11"}
- {name: "ubuntu-22.04", baseImg: "ubuntu:22.04"}
- {name: "debian-12", baseImg: "debian:12"}
- {name: "ubuntu-24.04", baseImg: "ubuntu:24.04"}
- {name: "latest", baseImg: "ubuntu:rolling"}
steps:
- name: Download digests
uses: actions/download-artifact@v4
with:
path: /tmp/digests/${{ matrix.image }}
pattern: ${{ matrix.image }}-digests-*
merge-multiple: true
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Docker meta
id: meta
uses: docker/metadata-action@v5
with:
images: mvolk/storm-basesystem:${{ 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(" ")' <<< "$DOCKER_METADATA_OUTPUT_JSON") \
$(printf 'mvolk/storm-basesystem:${{ matrix.image.name }}@sha256:%s ' *)
- name: Inspect image
run: |
docker buildx imagetools inspect mvolk/storm-basesystem:${{ matrix.image.name }}:${{ steps.meta.outputs.version }}