From 8ed397cdffe9e6087f7adc526915a340b3e5e501 Mon Sep 17 00:00:00 2001
From: Oliver Sander <oliver.sander@tu-dresden.de>
Date: Wed, 21 Dec 2022 11:52:32 +0100
Subject: [PATCH] Also CI-test with the 2.9 release

---
 .gitlab-ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 12cc8e7e..b5821cb4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -37,6 +37,14 @@ dune:2.8 gcc:
   - *before
   script: duneci-standard-test
 
+dune:2.9 gcc:
+  variables:
+    DUNECI_BRANCH: releases/2.9
+  image: registry.dune-project.org/docker/ci/dune:2.9-debian-11-gcc-10-20
+  before_script:
+  - *before
+  script: duneci-standard-test
+
 dune:git gcc:
   image: registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17
   before_script:
-- 
GitLab