Docker: Use one process to decrease memory usage. #16060
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is another attempt to get the docker workflow fixed. The message we get from github is rather vague:
I believe the only thing that could potentially fail from the description is that we run out of memory. I suggest to limit the number of processes explicitly to
1
with which we build deal.II in the Dockerfile.@masterleinad can build the Docker image without problems, see #16047 (comment). It could be the system specs of the github machines that cause this.
Probably a nicer approach is to introduce a new argument for the number of processes to remain flexible, i.e.,
ARG NPROCS=2
, and then set it explicitly to1
for thefocal
image. But we could leave that for a follow-up PR. Let's try this out first!