From 23265ef35bd28b7f905089a5c8a53d3d52ff7560 Mon Sep 17 00:00:00 2001
From: Kayvan Memarian <kayvan.memarian@cl.cam.ac.uk>
Date: Wed, 5 Jul 2023 21:46:30 +0100
Subject: [PATCH] disabling compiler version 4.12.0 from the ci workflow for
 now

---
 .github/workflows/ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e9a93dd52..44e52a5d2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,7 +10,9 @@ jobs:
   build:
     strategy:
       matrix:
-        version: [4.12.0, 4.14.1]
+        # version: [4.12.0, 4.14.1]
+        version: [4.14.1]
+
     
     runs-on: ubuntu-22.04