Build and deploy devcontainer #14
mtzguidobuild-and-deploy.yml
on: schedule
build-and-push
22m 19s
Annotations
2 warnings
|
Legacy key/value format with whitespace separator should not be used:
.devcontainer/minimal.Dockerfile#L31
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/minimal.Dockerfile#L19
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-sandbox~MQZOMU.dockerbuild
Expired
|
69.3 KB |
sha256:baee79c565d32e984919ea0ec95180ef55c07f2a7d80a0b28444c5526193159f
|
|