summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIdan Horowitz <idan.horowitz@gmail.com>2022-02-16 21:39:53 +0200
committerIdan Horowitz <idan.horowitz@gmail.com>2022-02-16 23:19:50 +0200
commitbc98ad9cc1452a3db574eca44b029c2dfca43605 (patch)
tree32a1d145b6f076d8f61d4ab0c1376199f992c560
parent53ec2ace23495e2db69b5845d2712a8e5114ea13 (diff)
downloadserenity-bc98ad9cc1452a3db574eca44b029c2dfca43605.zip
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.
-rw-r--r--.github/workflows/cmake.yml1
1 files changed, 0 insertions, 1 deletions
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 \