diff options
| author | Jelle Raaijmakers <jelle@gmta.nl> | 2023-05-24 20:07:34 +0200 |
|---|---|---|
| committer | Jelle Raaijmakers <jelle@gmta.nl> | 2023-05-24 20:07:34 +0200 |
| commit | 971d3eef4af32de1c5ca17f4418d8ba359687363 (patch) | |
| tree | ba07ba1412fde32ddbe2afa8530e1d24419ea130 /.devcontainer | |
| parent | 7026174458ab15e2ac2d1c01c1cd24ed0e05b5d2 (diff) | |
| download | serenity-971d3eef4af32de1c5ca17f4418d8ba359687363.zip | |
Meta: Hardcode lowercase repository name for devcontainer
This should unbreak CI.
Diffstat (limited to '.devcontainer')
| -rw-r--r-- | .devcontainer/optimized/.devcontainer.json | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.devcontainer/optimized/.devcontainer.json b/.devcontainer/optimized/.devcontainer.json index c7c9c44a19..7cd9fa25ba 100644 --- a/.devcontainer/optimized/.devcontainer.json +++ b/.devcontainer/optimized/.devcontainer.json @@ -1,11 +1,11 @@ // The docker image used below was generated from '.devcontainer/devcontainer.json' // by the '.github/workflows/dev-container.yml' workflow. // -// By building this dev container image in advance, tools -// like GitHub Codespaces (https://containers.dev/supporting) -// do not need to install all the prerequsite dependencies from scratch, +// By building this dev container image in advance, tools +// like GitHub Codespaces (https://containers.dev/supporting) +// do not need to install all the prerequsite dependencies from scratch, // getting you into your development environment faster! { "name": "SerenityOS (Pre-Built Image)", - "image": "ghcr.io/SerenityOS/serenity-devcontainer:base" + "image": "ghcr.io/serenityos/serenity-devcontainer:base" } |