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

Jump to bottom

Docker container build is broken #3034

Closed
JJ opened this issue Sep 27, 2019 · 4 comments
Closed

Docker container build is broken #3034

JJ opened this issue Sep 27, 2019 · 4 comments
Milestone
Version 2.0 of do...

Comments

@JJ
Copy link
Contributor

JJ commented Sep 27, 2019

The problem

We need to adapt it to the new infrastructure, since it's using the old make

Suggestions

Rewrite the container.
@JJ JJ added build labels Sep 27, 2019
@coke
Copy link
Collaborator

coke commented Sep 27, 2019

Another suggestion: update the make build rule to match the new build instructions.

@JJ
Copy link
Contributor Author

JJ commented Sep 27, 2019

The problem is that, as discussed elsewhere, that is no longer supposed to happen in this repository, according to the roadmap #2983 . So another, better, option would be to make this depend on spinning off the Dockerfile along with all other website-building tools...

@JJ JJ mentioned this issue Sep 27, 2019
Closed
@JJ
Copy link
Contributor Author

JJ commented Aug 23, 2021

This is the old container. While we update it, we should probably eliminate references to it from the README.

@coke
Copy link
Collaborator

coke commented Feb 3, 2023

We are migrating the site build to doc-website, and the infra team has a build process that is working.

@coke coke closed this as completed Feb 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Version 2.0 of documentation site and...
Development

No branches or pull requests
2 participants
@JJ @coke