stormpy/.github/workflows/release_docker.yml at master · stormchecker/stormpy · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
name: Release Docker
# Builds Stormpy and deploys images 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 reuse the workflow from another one
  workflow_call:
    inputs:
      tag:
        description: 'Docker tag (e.g. 1.1.0 or stable)'
        required: true
        type: string
        default: 'x.y.z'
      storm_tag:
        description: 'Docker tag of Storm base image (e.g. 1.1.0 or stable)'
        required: true
        type: string
        default: 'x.y.z'
  # needed to trigger the workflow manually
  workflow_dispatch:
    inputs:
      tag:
        description: 'Docker tag (e.g. 1.1.0 or stable)'
        required: true
        type: string
        default: 'x.y.z'
      storm_tag:
        description: 'Docker tag of Storm base image (e.g. 1.1.0 or stable)'
        required: true
        type: string
        default: 'x.y.z'

env:
  IMAGE: movesrwth/stormpy
  # GitHub runners currently have 4 cores
  NR_JOBS: "4"

jobs:
  build:
    name: Build ${{ matrix.image.tag }} on ${{ matrix.platform.name }}
    runs-on: ${{ matrix.platform.runner }}
    strategy:
      matrix:
        image:
          - {tag: "${{ inputs.tag }}-debug",
             baseImg: "movesrwth/storm:${{ inputs.storm_tag }}-debug",
             file: ".github/workflows/Dockerfile.release",
             buildType: "Debug",
             setupArgs: "--debug"
            }
          - {tag: "${{ inputs.tag }}",
             baseImg: "movesrwth/storm:${{ inputs.storm_tag }}",
             file: ".github/workflows/Dockerfile.release",
             buildType: "Release",
             setupArgs: ""
            }
        platform:
          - {name: linux/amd64, runner: "ubuntu-latest"}
          - {name: linux/arm64, runner: "ubuntu-24.04-arm"}
    steps:
      - name: Git clone
        uses: actions/checkout@v6
        with:
          ref: ${{ inputs.tag }}
      - name: Prepare
        # Sanitize platform name
        run: |
          platform=${{ matrix.platform.name }}
          echo "PLATFORM=${platform//\//-}" >> $GITHUB_ENV
      - name: Docker metadata
        id: meta
        uses: docker/metadata-action@v6
        with:
          images: ${{ env.IMAGE }}
          tags: |
            type=raw,${{ matrix.image.tag }}
      - name: Set up Docker Buildx
        uses: docker/setup-buildx-action@v4
      - name: Login to Docker Hub
        # Only login if using original repo
        if: github.repository_owner == 'stormchecker'
        uses: docker/login-action@v4
        with:
          username: ${{ secrets.STORM_CI_DOCKER_USERNAME }}
          password: ${{ secrets.STORM_CI_DOCKER_TOKEN }}
      - name: Build and push by digest
        id: build
        uses: docker/build-push-action@v7
        with:
          file: ${{ matrix.image.file }}
          # Set build arguments
          build-args: |
            STORM_BASE=${{ matrix.image.baseImg }}
            build_type=${{ matrix.image.buildType }}
            setup_targs=${{ matrix.image.setupArgs }}
            no_threads=${{ env.NR_JOBS }}
          platforms: ${{ matrix.platform.name }}
          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 ${{ runner.temp }}/digests/${{ matrix.image.tag }}
          digest="${{ steps.build.outputs.digest }}"
          touch "${{ runner.temp }}/digests/${{ matrix.image.tag }}/${digest#sha256:}"
      - name: Upload digest
        uses: actions/upload-artifact@v7
        with:
          name: ${{ matrix.image.tag }}-digests-${{ env.PLATFORM }}
          path: ${{ runner.temp }}/digests/${{ matrix.image.tag }}/*
          if-no-files-found: error
          retention-days: 1

  merge:
    name: Merge manifests for ${{ matrix.image.tag }}
    runs-on: ubuntu-latest
    needs:
      - build
    strategy:
      matrix:
        image:
          # Must be the same as above
          - {tag: "${{ inputs.tag }}-debug"}
          - {tag: "${{ inputs.tag }}"}
    steps:
      - name: Download digests
        uses: actions/download-artifact@v8
        with:
          path: ${{ runner.temp }}/digests/${{ matrix.image.tag }}
          pattern: ${{ matrix.image.tag }}-digests-*
          merge-multiple: true
      - name: Set up Docker Buildx
        uses: docker/setup-buildx-action@v4
      - name: Docker metadata
        id: meta
        uses: docker/metadata-action@v6
        with:
          images: ${{ env.IMAGE }}
          tags: |
            type=raw,${{ matrix.image.tag }}
      - name: Login to Docker Hub
        # Only login if using original repo
        if: github.repository_owner == 'stormchecker'
        uses: docker/login-action@v4
        with:
          username: ${{ secrets.STORM_CI_DOCKER_USERNAME }}
          password: ${{ secrets.STORM_CI_DOCKER_TOKEN }}
      - name: Create manifest list and push
        working-directory: ${{ runner.temp }}/digests/${{ matrix.image.tag }}
        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 }}