diff options
author | Idan Horowitz <idan.horowitz@gmail.com> | 2022-02-16 21:39:53 +0200 |
---|---|---|
committer | Idan Horowitz <idan.horowitz@gmail.com> | 2022-02-16 23:19:50 +0200 |
commit | bc98ad9cc1452a3db574eca44b029c2dfca43605 (patch) | |
tree | 32a1d145b6f076d8f61d4ab0c1376199f992c560 /.github/workflows | |
parent | 53ec2ace23495e2db69b5845d2712a8e5114ea13 (diff) | |
download | serenity-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.
Diffstat (limited to '.github/workflows')
-rw-r--r-- | .github/workflows/cmake.yml | 1 |
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 \ |