Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[FEAT]: Add Dev Container configuration #5

Closed
gmacario opened this issue Oct 8, 2024 · 0 comments · Fixed by #8
Closed

[FEAT]: Add Dev Container configuration #5

gmacario opened this issue Oct 8, 2024 · 0 comments · Fixed by #8
Assignees
@gmacario
Labels
enhancement New feature or request

Comments

@gmacario
Copy link
Member

gmacario commented Oct 8, 2024

Description

See https://devcontainers.github.io/

Additional Information

No response
@gmacario gmacario added the enhancement New feature or request label Oct 8, 2024
@gmacario gmacario self-assigned this Oct 8, 2024
@gmacario gmacario mentioned this issue Oct 14, 2024
Merged
4 tasks
@gmacario gmacario linked a pull request Oct 14, 2024 that will close this issue
feat: add Dev Container configuration #8
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gmacario gmacario

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

feat: add Dev Container configuration arol-polito/thesis-template
1 participant
@gmacario