Skip to content

Comments

Fix broken development containers#482

Open
kiancross wants to merge 1 commit intotmbo:masterfrom
kiancross:fix-dev-containers
Open

Fix broken development containers#482
kiancross wants to merge 1 commit intotmbo:masterfrom
kiancross:fix-dev-containers

Conversation

@kiancross
Copy link
Collaborator

What is the problem that this PR addresses?

Development containers (e.g., for use in GitHub codespaces) are broken.

How did you solve it?

Updated and simplified the configuration.

Checklist

  • I have read the Contributor's Guide.
  • I will check that all automated PR checks pass before the PR gets reviewed.

@kiancross kiancross requested a review from tmbo January 28, 2026 14:38
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.

1 participant