Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Blackboard #479

Open
wants to merge 35 commits into
base: dev
Choose a base branch
from
Open

Blackboard #479

wants to merge 35 commits into from

Conversation

Pierre-Graber
Copy link
Collaborator

No description provided.

Pierre Graber and others added 29 commits January 5, 2023 09:55
@Pierre-Graber Pierre-Graber force-pushed the blackboard branch 4 times, most recently from 7f9e196 to c8f3f08 Compare March 20, 2023 17:03
@@ -20,6 +20,30 @@ ENV LANG C.UTF-8
# Set correct environment variables.
ENV HOME /root

RUN add-apt-repository ppa:deadsnakes/ppa
Copy link
Contributor

Choose a reason for hiding this comment

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

Can be a lot simplest like in this PR

@Pierre-Graber Pierre-Graber force-pushed the blackboard branch 4 times, most recently from 0993b75 to 16251a2 Compare March 27, 2023 17:06
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants