Skip to content

Create custom devcontainer#751

Closed
ascopes wants to merge 1 commit intomainfrom
task/custom-devcontainer
Closed

Create custom devcontainer#751
ascopes wants to merge 1 commit intomainfrom
task/custom-devcontainer

Conversation

@ascopes
Copy link
Copy Markdown
Owner

@ascopes ascopes commented Jul 31, 2025

Replace current devcontainer config with a custom version that does what is needed to build this repository on the right version of everything.

@ascopes ascopes self-assigned this Jul 31, 2025
@ascopes ascopes added the chore General tech debt work. label Jul 31, 2025
@ascopes ascopes force-pushed the task/custom-devcontainer branch 3 times, most recently from 814ffff to b5bb497 Compare July 31, 2025 06:48
@ascopes ascopes force-pushed the task/custom-devcontainer branch from b5bb497 to 474686c Compare July 31, 2025 06:55
@ascopes ascopes closed this Jul 31, 2025
@ascopes ascopes deleted the task/custom-devcontainer branch July 31, 2025 07:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore General tech debt work.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant