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.

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

Remote dev container #4

Draft
wants to merge 13 commits into
base: main
Choose a base branch
from

Conversation

xuwenhao
Copy link

@xuwenhao xuwenhao commented Jan 2, 2024

No description provided.

@alesaccoia
Copy link
Owner

Hey @xuwenhao just sen this PS while I was pushing to the "factories" branch several changes. THey are now committed to the main branch, would you like to start from the current head of the main branch?

@alesaccoia
Copy link
Owner

Love the idea, let me know if you can take care of the integration in the current state of the main branch. would it be possible for you to provide also a description in a section of the README?

@alesaccoia
Copy link
Owner

@xuwenhao please note that this is diverging heaps fro the main branch, will need to be refactored. CUDA device could be a command line arguments among the others.

@zhuguangbin zhuguangbin deleted the remote-dev-container branch January 10, 2024 09:43
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.

3 participants