-
Notifications
You must be signed in to change notification settings - Fork 594
Add DevContainer configuration file #1389
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
Conversation
8bd4faf
to
7c7115b
Compare
EDIT: actually, the issue was that this version of I believe this PR provides a simple way to demonstrate that, on a typical x86_64 Linux machine with the correct NVIDIA system dependencies installed, running
I have encountered this issue multiple times across different setups. AFAIU, the problem seems comes from wrong constraints in the |
7c7115b
to
088a341
Compare
088a341
to
32d3700
Compare
So, as advised in the Contribute guide, running
However, when I run
|
Great! Should this be documented somewhere? |
We could add a few lines in the Contribute guide! Do we merge that PR and I open a new issue for the failing tests? |
Yes, let's do that |
DevContainer is a great tool for providing a one-click development environment for new contributors. It works seamlessly through the GitHub interface (with GitHub Codespaces) or locally with tools like VSCode or JetBrains’ built-in plugins. Maybe, DevContainer can help achieve a basic level of reproducibility between the CI and local development environments, e.g., the
devcontainer
CLI could be integrated into GitHub Actions?