Skip to content

Docker integration #84

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

Open
wants to merge 67 commits into
base: main
Choose a base branch
from

Conversation

tech-milky
Copy link

Intégration du build sur docker

@TimPietrusky
Copy link
Member

@tech-milky thanks for creating this PR!

i wonder what the goal of the PR should be? you remove a few of the github-workflows that are needed to get the docker images created and you also added snapshots that are not needed in the repo. also the changes in the dockerfile don't seem to add anything to the project.

could you please help us to understand the intention and reduce the PR to only the needed changes?

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.

4 participants