Build single Seal5 Docker image #8
PhilippvKcontainer.yml
on: workflow_dispatch
Build minimal seal5-deps image
2m 48s
Build large seal5-quickstart image for benchmarking
1h 39m
Annotations
6 warnings
|
Legacy key/value format with whitespace separator should not be used:
docker/Dockerfile#L4
LegacyKeyValueFormat: "LABEL key=value" should be used instead of legacy "LABEL key value" format
More info: https://docs.docker.com/go/dockerfile/rule/legacy-key-value-format/
|
|
Build minimal seal5-deps image
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
Build seal5-base image for users
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
Legacy key/value format with whitespace separator should not be used:
docker/Dockerfile#L4
LegacyKeyValueFormat: "LABEL key=value" should be used instead of legacy "LABEL key value" format
More info: https://docs.docker.com/go/dockerfile/rule/legacy-key-value-format/
|
|
Build large seal5-quickstart image for benchmarking
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists
|
|
Legacy key/value format with whitespace separator should not be used:
docker/Dockerfile#L4
LegacyKeyValueFormat: "LABEL key=value" should be used instead of legacy "LABEL key value" format
More info: https://docs.docker.com/go/dockerfile/rule/legacy-key-value-format/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
tum-ei-eda~seal5~3GMKD0.dockerbuild
|
183 KB |
|
|
tum-ei-eda~seal5~W82GFH.dockerbuild
|
112 KB |
|
|
tum-ei-eda~seal5~XD01CI.dockerbuild
|
95.4 KB |
|