From df2e26b651ff159cb1bddc0babf4e103e25cbf68 Mon Sep 17 00:00:00 2001
From: Friedrich Rober <friedrich.rober@rwth-aachen.de>
Date: Wed, 29 Nov 2023 12:58:54 +0100
Subject: [PATCH] CI: test against 4.12 instead of 4.11 now

---
 .github/workflows/CI.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 3ad35e9..88321d9 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -26,7 +26,7 @@ jobs:
         os: [ubuntu-latest]
         gap-branch:
           - master
-          - stable-4.11
+          - stable-4.12
 
     steps:
       - uses: actions/checkout@v3