eliott/serenity
1
0
Fork 0
mirror of https://github.com/SerenityOS/serenity synced 2026-05-10 09:02:44 +02:00
Code Issues Packages Projects Releases Wiki Activity
55,003 Commits 1 Branch 0 Tags
14a86c8fd6009dfd643e2d047f76860901ac5fa2
Commit Graph

3 Commits

Author SHA1 Message Date
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
Jelle Raaijmakers
971d3eef4a Meta: Hardcode lowercase repository name for devcontainer 
This should unbreak CI.
 2023-05-24 20:07:34 +02:00
Josh Spicer
7026174458 Meta: Prebuild repo dev container 
This commit adds a GitHub Workflow to prebuild the dev container file
present at .devcontainer/devcontainer.json. This prebuilt image is
pushed to GitHub Container Registry (ghcr).

An additional devcontainer.json is added consuming that image.
This dev container can be selected in editors that process dev
containers (ie GitHub Codespaces), to speed up time to editor.
 2023-05-24 19:27:59 +02:00