Skip to content
Snippets Groups Projects

Improve gitlab-ci script

Merged Simon Praetorius requested to merge feature/gitlab-ci into main
+ 4
0
@@ -9,6 +9,7 @@ before_script: &before
#------------------------------
dune:2.10 gcc-10 C++20:
image: registry.dune-project.org/docker/ci/dune:2.10-debian-11-gcc-10-20
tags: [duneci]
variables:
DUNECI_BRANCH: releases/2.10
before_script:
@@ -17,6 +18,7 @@ dune:2.10 gcc-10 C++20:
dune:2.10 clang-11 C++20:
image: registry.dune-project.org/docker/ci/dune:2.10-debian-11-clang-11-20
tags: [duneci]
variables:
DUNECI_BRANCH: releases/2.10
before_script:
@@ -28,12 +30,14 @@ dune:2.10 clang-11 C++20:
#-------------------------------------------------
dune:git gcc-12 C++20:
image: registry.dune-project.org/docker/ci/dune:git-debian-12-gcc-12-20
tags: [duneci]
before_script:
- *before
script: duneci-standard-test
dune:git clang-13 C++20:
image: registry.dune-project.org/docker/ci/dune:git-debian-11-clang-13-20
tags: [duneci]
before_script:
- *before
script: duneci-standard-test
\ No newline at end of file
Loading