Commit 2641b907 authored by Dominic Kempf's avatar Dominic Kempf

[!25] Switch dune-alugrid correctly

Merge branch 'dominic-master-patch-90402' into 'master'

My previous attempt turned out to be shortsighted\...

See merge request [!25]

  [!25]: gitlab.dune-project.org/docker/ci/merge_requests/25
parents 8fab91a6 b2a06056
......@@ -3,5 +3,4 @@ FROM ${BASE_IMAGE}
ARG DUNECI_PARALLEL
USER duneci
# TODO: Remove this as soon as extensions/dune-alugrid!49 is merged and backported
RUN duneci-install-module -b releases/2.6-patched-mr-49 https://gitlab.dune-project.org/smuething/dune-alugrid.git
RUN duneci-install-module -b releases/2.6 https://gitlab.dune-project.org/extensions/dune-alugrid.git
......@@ -3,4 +3,5 @@ FROM ${BASE_IMAGE}
ARG BASE_IMAGE
ARG DUNECI_PARALLEL
USER duneci
\ No newline at end of file
USER duneci
RUN duneci-install-module -b master https://gitlab.dune-project.org/extensions/dune-alugrid.git
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment