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

chore: setup devcontainer #2

Open

lorenzomar wants to merge 1 commit into Strumenta:main from lorenzomar:chore/devcontainer

lorenzomar commented Aug 13, 2024

This pull request introduces a DevContainer configuration to the project.

Benefits:

Enable quick exploration
Ensures a consistent environment across different machines.
to install PDM, Python venv and JDK locally

Additional Notes:

Existing workflow remains unchanged for those who prefer not to use the DevContainer


          chore: setup devcontainer

78b494a

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

Labels

None yet