From bc98ad9cc1452a3db574eca44b029c2dfca43605 Mon Sep 17 00:00:00 2001
From: Idan Horowitz <idan.horowitz@gmail.com>
Date: Wed, 16 Feb 2022 21:39:53 +0200
Subject: [PATCH] CI: Disable compiletime header check

This check does not seem to provide a lot of value, and it is pretty
annoying, so let's just disable it for now.
---
 .github/workflows/cmake.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/cmake.yml b/.github/workflows/cmake.yml
index 8ed1c4555f..930a3f7d5c 100644
--- a/.github/workflows/cmake.yml
+++ b/.github/workflows/cmake.yml
@@ -162,7 +162,6 @@ jobs:
         # We build and run the Lagom tests in a separate job, and sanitizer builds take a good while longer than non-sanitized.
         run:  |
           cmake -S Meta/CMake/Superbuild -B Build/superbuild -GNinja \
-            -DENABLE_COMPILETIME_HEADER_CHECK=ON \
             -DSERENITY_ARCH=${{ matrix.arch }} \
             -DSERENITY_TOOLCHAIN=GNU \
             -DCMAKE_C_COMPILER=gcc-11 \