-
Notifications
You must be signed in to change notification settings - Fork 7
184 lines (183 loc) · 7.27 KB
/
container.yml
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
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
name: Build single Seal5 Docker image
on:
workflow_dispatch:
inputs:
seal5-ref:
description: "Seal5 Version/Tag/Branch"
required: true
default: "" # TODO: use
full:
description: "Also build large quickstart image"
required: true
default: "false"
base_image:
description: "OS base image"
required: true
default: "ubuntu:20.04"
llvm-ref:
description: "LLVM Version"
required: true
default: "llvmorg-19.1.6"
jobs:
image-deps:
name: Build minimal seal5-deps image
runs-on: ubuntu-latest
steps:
- name: "Set current date as env variable"
run: |
echo "builddate=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
id: timestamp
- name: "Set os env variable"
run: |
echo "os=$(echo '${{ github.events.inputs.base_image }}' | tr ':' '-')" >> $GITHUB_OUTPUT
id: os
- name: Maximize build space
uses: easimon/maximize-build-space@master
with:
root-reserve-mb: 32768
temp-reserve-mb: 4096
remove-dotnet: 'true'
remove-android: 'true'
remove-haskell: 'true'
remove-codeql: 'true'
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Build and push to Docker Hub
uses: docker/build-push-action@v6
if: ${{ github.repository == 'tum-ei-eda/seal5' }}
with:
context: .
file: docker/Dockerfile
pull: true
push: true
target: seal5-deps
cache-to: type=inline
tags: |
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-deps:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-deps:latest-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}
image-base:
name: Build seal5-base image for users
runs-on: ubuntu-latest
needs: minimal
steps:
- name: "Set current date as env variable"
run: |
echo "builddate=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
id: timestamp
- name: "Set os env variable"
run: |
echo "os=$(echo '${{ github.events.inputs.base_image }}' | tr ':' '-')" >> $GITHUB_OUTPUT
id: os
- name: Maximize build space
uses: easimon/maximize-build-space@master
with:
root-reserve-mb: 32768
temp-reserve-mb: 4096
remove-dotnet: 'true'
remove-android: 'true'
remove-haskell: 'true'
remove-codeql: 'true'
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Login to DockerHub
uses: docker/login-action@v3
if: ${{ github.repository == 'tum-ei-eda/seal5' }}
with:
registry: ${{ secrets.DOCKER_REGISTRY }}
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }}
- name: Build and push to Docker Hub
uses: docker/build-push-action@v6
if: ${{ github.repository == 'tum-ei-eda/seal5' }}
with:
context: .
file: docker/Dockerfile
pull: true
push: true
target: seal5-base
cache-from: |
type=registry,ref=${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-deps:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-deps }}-${{ steps.os.outputs.os }}
cache-to: type=inline
tags: |
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-base:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-base:latest-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}
seal5-quickstart:
name: Build large seal5-quickstart image for benchmarking
runs-on: ubuntu-latest
needs: base
if: ${{ github.event.inputs.full }} == "true"
steps:
- name: "Set current date as env variable"
run: |
echo "builddate=$(date +'%Y%m%d')" >> $GITHUB_OUTPUT
id: timestamp
- name: "Set os env variable"
run: |
echo "os=$(echo '${{ github.events.inputs.base_image }}' | tr ':' '-')" >> $GITHUB_OUTPUT
id: os
- name: Maximize build space
uses: easimon/maximize-build-space@master
with:
root-reserve-mb: 32768
temp-reserve-mb: 4096
remove-dotnet: 'true'
remove-android: 'true'
remove-haskell: 'true'
remove-codeql: 'true'
- name: Checkout
uses: actions/checkout@v4
with:
submodules: recursive
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}
- name: Login to DockerHub
uses: docker/login-action@v3
if: ${{ github.repository == 'tum-ei-eda/seal5' }}
with:
registry: ${{ secrets.DOCKER_REGISTRY }}
username: ${{ secrets.DOCKER_USERNAME }}
password: ${{ secrets.DOCKER_PASSWORD }}
- name: Build and push to Docker Hub
uses: docker/build-push-action@v6
if: ${{ github.repository == 'tum-ei-eda/seal5' }}
with:
context: .
file: docker/Dockerfile
push: true
target: seal5-quickstart
build-args: |
BASE_IMAGE=${{ base_image }}
LLVM_REF=${{ github.event.inputs.llvm_ref }}
cache-from: |
type=registry,ref=${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-deps:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-deps }}-${{ steps.os.outputs.os }}
type=registry,ref=${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-base:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}
cache-to: type=inline
tags: |
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-quickstart:${{ steps.timestamp.outputs.builddate }}-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}-${{ github.events.inputs.llvm-ref }}
${{ secrets.DOCKER_REGISTRY }}/${{ secrets.DOCKER_NAMESPACE }}/seal5-quickstart:latest-${{ github.event.inputs.seal5-ref }}-${{ steps.os.outputs.os }}-${{ github.events.inputs.llvm-ref }}