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.

Sign up for GitHub

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: fix order of ARGS in Dockerfile. #16071

Merged

marcfehling merged 1 commit into dealii:master from marcfehling:docker

Sep 30, 2023

Member

marcfehling commented Sep 30, 2023 •

edited

I accidentally broke the Dockerfile in #16062. All ARG fields get reset after the FROM statement, so we need to change the order to make it work.

More info: https://docs.docker.com/engine/reference/builder/#understand-how-arg-and-from-interact

I verified that it starts building the library on my laptop.

marcfehling added High Priority ⚠️ Infrastructure labels


          Docker: fix order of ARGS in Dockerfile.

7f91de8

peterrum approved these changes

View reviewed changes

marcfehling merged commit 58febcd into dealii:master

2 of 15 checks passed

marcfehling deleted the docker branch

September 30, 2023 19:48

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment