Skip to content

Build and Push Devcontainer #47

Build and Push Devcontainer

Build and Push Devcontainer #47

Triggered via schedule March 15, 2026 01:43
Status Success
Total duration 21m 42s
Artifacts 1

devcontainer.yml

on: schedule
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build-and-push
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@v4, docker/build-push-action@v6, docker/login-action@v3. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
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~Y5THH0.dockerbuild
115 KB
sha256:1cc5ae1cb885b2014f36f34e6cf383d98e3292942ea82c3c2939bd0552cb6b41