commit 5933d3560d10d77ced06ef20f33cafed18263f36
author Jiri Daněk <jdanek@redhat.com> Sat Dec 28 16:52:59 2024 +0100
committer Jiri Daněk <jdanek@redhat.com> Sat Dec 28 18:17:08 2024 +0100
tree 814a28c5f668e7a61b6355d47f257c2a93ddfa23
parent 9750c0776375181e423a08070efef0b1c8dbcfa9

DISPATCH-2363: chore(gha): use the `-DBUILD_TOOLS=OFF` option added in PROTON-2724

.github/workflows/build.yaml

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 9570c51..00fefff 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -45,6 +45,7 @@
         -DCMAKE_C_COMPILER_LAUNCHER=ccache
         -DCMAKE_CXX_COMPILER_LAUNCHER=ccache
         -DBUILD_BINDINGS=python
+        -DBUILD_TOOLS=OFF
         -DBUILD_EXAMPLES=OFF
         -DBUILD_TESTING=OFF
         -DENABLE_FUZZ_TESTING=OFF
@@ -322,6 +323,7 @@
         -DCMAKE_CXX_COMPILER_LAUNCHER=ccache
         -DBUILD_BINDINGS=python
         -DPython_EXECUTABLE=/usr/bin/python3
+        -DBUILD_TOOLS=OFF
         -DBUILD_EXAMPLES=OFF
         -DBUILD_TESTING=OFF
         -DENABLE_FUZZ_TESTING=OFF