Commit graph

3 commits

Author SHA1 Message Date
Andrew Kaster
b86f0747dc Meta: Use the correct organization name for the devcontainer base
Some checks failed
Push notes / build (push) Waiting to run
CI / Lagom (false, FUZZ, ubuntu-24.04, Linux, Clang) (push) Waiting to run
CI / Lagom (false, NO_FUZZ, macos-14, macOS, Clang) (push) Waiting to run
CI / Lagom (false, NO_FUZZ, ubuntu-24.04, Linux, GNU) (push) Waiting to run
CI / Lagom (true, NO_FUZZ, ubuntu-24.04, Linux, Clang) (push) Waiting to run
Package the js repl as a binary artifact / build-and-package (macos-14, macOS, macOS-universal2) (push) Waiting to run
Package the js repl as a binary artifact / build-and-package (ubuntu-24.04, Linux, Linux-x86_64) (push) Waiting to run
Run test262 and test-wasm / run_and_update_results (push) Waiting to run
Lint Code / lint (push) Waiting to run
Build Dev Container Image / build (push) Has been cancelled
The optimized devcontainer workflow downloads an image from the
GitHub container registry. Now that we've made that image, which is
built in CI, public, it would help to have the correct org name.
2024-10-12 13:43:04 -06:00
Andrew Kaster
6d3a54e4a8 Meta: Update Documentation and CI for repo move 2024-06-03 10:53:53 +02:00
Josh Spicer
084ba2ef9d Meta: Remove unnecessary dot in file name
Fixes a small typo in the file name.

Codespaces and other tools implementing the spec
https://containers.dev/implementors/spec/#devcontainerjson
will expect this file naming pattern.
2023-05-29 13:42:08 +02:00
Renamed from .devcontainer/optimized/.devcontainer.json (Browse further)