From cd7958060a7d8e2e02e74e3e9418c2ea100c45eb Mon Sep 17 00:00:00 2001
From: Robin Linden <dev@robinlinden.eu>
Date: Fri, 1 Dec 2023 01:58:02 +0100
Subject: [PATCH] ci: Drop now-superfluous gcc 13 matrix job

---
 .github/workflows/ci.yaml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index cdec0153d..5ad38566f 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -26,12 +26,6 @@ jobs:
             bazel: --test_timeout=120 --run_under="valgrind --leak-check=full --errors-for-leak-kinds=all --error-exitcode=1 --track-origins=yes --show-leak-kinds=all"
             apt: g++-12 valgrind
 
-          - name: gcc-13
-            os: ubuntu-22.04
-            compiler: gcc
-            version: 13
-            apt: g++-13
-
           - name: clang-14-tsan
             os: ubuntu-22.04
             compiler: clang