Skip to content

Devcontainer#31

Merged
JensRavens merged 2 commits intomasterfrom
feature/devcontainer
Jun 30, 2025
Merged

Devcontainer#31
JensRavens merged 2 commits intomasterfrom
feature/devcontainer

Conversation

@JensRavens
Copy link
Copy Markdown
Member

This pull request add devcontainer support for editing this project.

@JensRavens JensRavens requested review from Maxi211 and Copilot June 30, 2025 12:53
Copy link
Copy Markdown

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This pull request adds devcontainer support to facilitate in-container development.

  • Introduces a docker-compose configuration for a development container
  • Provides a devcontainer.json file with VS Code customizations and extension recommendations

Reviewed Changes

Copilot reviewed 2 out of 3 changed files in this pull request and generated no comments.

File Description
.devcontainer/docker-compose.yml Adds a service configuration including volume mounts and environment variables for the devcontainer.
.devcontainer/devcontainer.json Configures the development container, workspace, and VS Code extensions.

@JensRavens JensRavens merged commit 132550d into master Jun 30, 2025
1 check passed
@JensRavens JensRavens deleted the feature/devcontainer branch June 30, 2025 13:21
Copy link
Copy Markdown

@Maxi211 Maxi211 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

tests run for me, after setting up the devcontainer. Is there more to it ?
If so, let me know, then I can test if it works_on_my_machine™

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants