Development environment

We support and keep updated a Devcontainer in .devcontainer/devcontainer.json.

To develop, open the cloned repository in VSCode and invoke the command Rebuild and Reopen in Devcontainer. (Ctrl/Command+Shift+P and type rebuild).