From bd4deab3c06d6d5683733a66dd1b5967beafe3f2 Mon Sep 17 00:00:00 2001
From: ClemensBuechner <clemens.buechner@unibas.ch>
Date: Tue, 9 Jan 2024 10:19:57 +0100
Subject: [PATCH] [trivial] Work around failing Github actions.

There is a compatibility-issue of packages installed in the runner-image of
Ubuntu 22.04 used in our Github actions. This causes many of our automatic tests
to fail. We work around this issue by downgrading the responsible package
versions. The change should be reverted once the issue is resolved.
---
 .github/workflows/style.yml  | 7 +++++++
 .github/workflows/ubuntu.yml | 8 ++++++++
 2 files changed, 15 insertions(+)

diff --git a/.github/workflows/style.yml b/.github/workflows/style.yml
index c5efb21750..5fc5f6df83 100644
--- a/.github/workflows/style.yml
+++ b/.github/workflows/style.yml
@@ -25,6 +25,13 @@ jobs:
           pip3 install tox
           sudo apt-get -y install clang-tidy-12
 
+      # TODO: Remove once issue with Ubuntu 22.04 and clang++-14 is resolved.
+      - name: Work around https://github.com/actions/runner-images/issues/8659
+        run: |
+          sudo rm -f /etc/apt/sources.list.d/ubuntu-toolchain-r-ubuntu-test-jammy.list
+          sudo apt-get update
+          sudo apt-get install -y --allow-downgrades libc6=2.35-* libc6-dev=2.35-* libstdc++6=12.3.0-* libgcc-s1=12.3.0-*
+
       - name: Install uncrustify
         run: |
           # Set up uncrustify.
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index cbf48048f5..29c09220d2 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -57,6 +57,14 @@ jobs:
         run: |
           sudo apt-get -y install ${{ matrix.version.cxx }}
 
+      # TODO: Remove once issue with Ubuntu 22.04 and clang++-14 is resolved.
+      - name: Work around https://github.com/actions/runner-images/issues/8659
+        if: matrix.version.cxx == 'clang++-14'
+        run: |
+          sudo rm -f /etc/apt/sources.list.d/ubuntu-toolchain-r-ubuntu-test-jammy.list
+          sudo apt-get update
+          sudo apt-get install -y --allow-downgrades libc6=2.35-* libc6-dev=2.35-* libstdc++6=12.3.0-* libgcc-s1=12.3.0-*
+
       # Only install CPLEX if its URL/secret is set.
       - name: Install CPLEX
         if: ${{ env.CPLEX_URL != 0 }}