Setup development environment

There are multiple variants on how to set up a build environment:

  • with GitHub Codespaces - recommended for developers with restricted internet access, such as corporate proxies, or with Windows hosts
  • with VSCode DevContainer - recommended for Linux hosts
  • Custom setup - for teams
Codespaces

GitHub Runner

VSCode DevContainer

Building with kas/manually

Restricted Internet