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

doc: Include Docker image usage #230

Merged
merged 2 commits into from
Dec 26, 2023
Merged

doc: Include Docker image usage #230

merged 2 commits into from
Dec 26, 2023

Conversation

gliga
Copy link
Contributor

@gliga gliga commented Dec 25, 2023

This PR describe the way our Docker image should be used for running and developing.

We should decide (separate from this PR) if we want to have -dev image independent from a default one that would be used for running examples.

(Once we have an image for CUDA as well, we should remove Installation instructions from the README file.)

@gliga gliga requested a review from NaderAlAwar December 25, 2023 13:39
Copy link
Contributor

@NaderAlAwar NaderAlAwar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@NaderAlAwar NaderAlAwar merged commit 2d3ea07 into main Dec 26, 2023
5 checks passed
@gliga gliga deleted the gligoric/doc branch January 7, 2024 11:57
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.

2 participants