Build and Push Devcontainer #33
gebnerAnnotations
2 warnings
|
Legacy key/value format with whitespace separator should not be used:
.devcontainer/fromscratch/minimal.Dockerfile#L75
LegacyKeyValueFormat: "ENV key=value" should be used instead of legacy "ENV 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:
.devcontainer/fromscratch/minimal.Dockerfile#L74
LegacyKeyValueFormat: "ENV key=value" should be used instead of legacy "ENV key value" format
More info: https://docs.docker.com/go/dockerfile/rule/legacy-key-value-format/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
FStarLang~pulse~12Y3L0.dockerbuild
|
113 KB |
sha256:49d5ac85c9df3b8f0bb346699ab64a78624d64b2198ba44357234e99b47e2be0
|
|