From 6caea27638ff53e09c260aa3b5ea54da8882a9cd Mon Sep 17 00:00:00 2001
From: Frank Dellaert <dellaert@gmail.com>
Date: Wed, 22 Feb 2023 23:10:16 -0800
Subject: [PATCH] Another CI fix

---
 .github/workflows/build-linux.yml | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build-linux.yml b/.github/workflows/build-linux.yml
index db23231c5..d141d267e 100644
--- a/.github/workflows/build-linux.yml
+++ b/.github/workflows/build-linux.yml
@@ -20,8 +20,8 @@ jobs:
         # Github Actions requires a single row to be added to the build matrix.
         # See https://help.github.com/en/articles/workflow-syntax-for-github-actions.
         name: [
-          ubuntu-20.04-gcc-9,
-          ubuntu-20.04-clang-9,
+          # ubuntu-20.04-gcc-9,
+          # ubuntu-20.04-clang-9,
           ubuntu-22.04-gcc-11,
           ubuntu-22.04-clang-14,
         ]
@@ -29,6 +29,16 @@ jobs:
         build_type: [Debug, Release]
         build_unstable: [ON]
         include:
+          # - name: ubuntu-20.04-gcc-9
+          #   os: ubuntu-20.04
+          #   compiler: gcc
+          #   version: "9"
+
+          # - name: ubuntu-20.04-clang-9
+          #   os: ubuntu-20.04
+          #   compiler: clang
+          #   version: "9"
+
           - name: ubuntu-22.04-gcc-11
             os: ubuntu-22.04
             compiler: gcc