From fdeff05700dd88837ed706d1c2bb91b571b714c0 Mon Sep 17 00:00:00 2001
From: elianalf <62831776+elianalf@users.noreply.github.com>
Date: Mon, 22 Jul 2024 11:57:17 +0200
Subject: [PATCH] Compile discovery server example in the CI

Signed-off-by: elianalf <62831776+elianalf@users.noreply.github.com>
---
 .github/workflows/config/discovery_server.meta | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/config/discovery_server.meta b/.github/workflows/config/discovery_server.meta
index 066667461b8..090def08256 100644
--- a/.github/workflows/config/discovery_server.meta
+++ b/.github/workflows/config/discovery_server.meta
@@ -4,6 +4,8 @@ names:
             - "-DCOMPILE_TOOLS=ON"
             - "-DINSTALL_TOOLS=ON"
     discovery-server:
+        cmake-args:
+            - "-DCOMPILE_EXAMPLES=ON"
         ctest-args: [
                 "--repeat", "until-pass:3",
                 "--timeout", "300",