Build single Seal5 Docker image #16
PhilippvKcontainer.yml
on: workflow_dispatch
Build minimal seal5-deps image
1m 57s
Build large seal5-quickstart image for benchmarking
1h 35m
Annotations
3 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/
|
|
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/
|
|
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~KQ86UT.dockerbuild
|
99.4 KB |
|
|
tum-ei-eda~seal5~TIK6LD.dockerbuild
|
182 KB |
|
|
tum-ei-eda~seal5~VO466Z.dockerbuild
|
114 KB |
|