Skip to content

Change devcontainer to use image instead of file - #599

Merged
athackst merged 2 commits into
mainfrom
dev/devcontainer
Oct 12, 2023
Merged

athackst merged 2 commits into
mainfrom
dev/devcontainer

Conversation

@athackst

Copy link
Copy Markdown
Owner

No description provided.

@github-actions github-actions Bot added the maintenance Non-behavior related change label Oct 12, 2023
@athackst
athackst merged commit 0d524f3 into main Oct 12, 2023
@athackst
athackst deleted the dev/devcontainer branch October 12, 2023 20:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Non-behavior related change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant