summaryrefslogtreecommitdiff
path: root/.devcontainer
AgeCommit message (Collapse)Author
2023-05-29Meta: Remove unnecessary dot in file nameJosh Spicer
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-24Meta: Hardcode lowercase repository name for devcontainerJelle Raaijmakers
This should unbreak CI.
2023-05-24Meta: Prebuild repo dev containerJosh Spicer
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.
2022-12-16Meta: Add libssl-dev as a dependency to the devcontainerAgustin Gianni
The library `libssl-dev` was missing from the installed dependencies. This made impossible to compile the system on a devcontainer.
2022-11-25Meta: Add devcontainer configuration for use with Github CodespacesAndrew Kaster
This configuration allows developing serenity and ladybird in github codespaces. It should also help anyone who wants to use a devcontainer locally.