2 Commits (colm/PG18-merge-main)

Author	SHA1	Message	Date
Nils Dijk	cbb90cc4ae	Devcontainer: enable coredumps (#7523) ... Add configuration for coredumps and document how to make sure they are enabled when developing in a devcontainer. --------- Co-authored-by: Jelte Fennema-Nio <jelte.fennema@microsoft.com>	2024-02-23 13:38:11 +00:00
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