Commit 83e96386 authored by Ansgar Burchardt's avatar Ansgar Burchardt

Merge branch 'bugfix/install-dune-uggrid-before-dune-grid' into 'master'

Install dune-uggrid before dune-grid

See merge request !11
parents db69f348 9334f00d
Pipeline #1541 passed with stage
in 75 minutes and 58 seconds
......@@ -2,9 +2,9 @@
before_script:
- duneci-install-module https://gitlab.dune-project.org/core/dune-common.git
- duneci-install-module https://gitlab.dune-project.org/core/dune-geometry.git
- duneci-install-module https://gitlab.dune-project.org/staging/dune-uggrid.git
- duneci-install-module https://gitlab.dune-project.org/core/dune-grid.git
- duneci-install-module https://gitlab.dune-project.org/core/dune-istl.git
- duneci-install-module https://gitlab.dune-project.org/staging/dune-uggrid.git
debian:9--gcc:
image: duneci/base:9
......
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