Skip to content
Build and Push Devcontainer

Build and Push Devcontainer #21

Sign in to view logs

Build and Push Devcontainer

Build and Push Devcontainer #21

Manually triggered February 19, 2026 01:24
@gebnergebner
⁠ 9f2d371
gebner_rebase_devcontainer
Status Success
Total duration 23m 36s
Artifacts 1

devcontainer.yml

on: workflow_dispatch
build-and-push
23m 33s
build-and-push
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
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/
Variables should be defined before their use: .devcontainer/fromscratch/minimal.Dockerfile#L74
UndefinedVar: Usage of undefined variable '$HOME' More info: https://docs.docker.com/go/dockerfile/rule/undefined-var/
Legacy key/value format with whitespace separator should not be used: .devcontainer/fromscratch/minimal.Dockerfile#L73
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/
Variables should be defined before their use: .devcontainer/fromscratch/minimal.Dockerfile#L73
UndefinedVar: Usage of undefined variable '$HOME' More info: https://docs.docker.com/go/dockerfile/rule/undefined-var/

Artifacts

Produced during runtime
Name Size Digest
FStarLang~pulse~VW2AN9.dockerbuild Expired
122 KB
sha256:3a34ac518351e5672c21ddcb910fcce19859535a220c86489760bb85e2aec53a