Commit graph

2 commits

Author SHA1 Message Date
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
Andrew Kaster 21f500937b Meta: Add devcontainer configuration for use with Github Codespaces
This configuration allows developing serenity and ladybird in github
codespaces. It should also help anyone who wants to use a devcontainer
locally.
2022-11-25 18:41:21 -07:00