citus/.github
Nils Dijk 76fdfa3c0f
Add devcontainer for development purposes (#7102)
This change adds a devcontainer configuration to the Citus project. This
devcontainer allows for quick generation of isolated development
environments, either local on the machine of a developer or in a cloud,
like github codepaces.

The devcontainer is updated automatically by github actions when its
configuration changes.

For more detailed instructions on how to quickstart the development in a
container see CONTRIBUTING.md
2023-10-09 15:37:21 +02:00
..
packaging Fixes error surpressions in packaging pipelines (#7054) 2023-07-24 14:44:27 +03:00
workflows Add devcontainer for development purposes (#7102) 2023-10-09 15:37:21 +02:00
pull_request_template.md Add DESCRIPTION to PR template 2018-12-12 05:35:12 +01:00