CI: Github Actions: re-enable Opentracing

Miroslav already fixed the build of OpenTracing so we can re-enable it
in the CI. For now variables are disabled but this will change soon.

diff --git a/.github/matrix.py b/.github/matrix.py
index 18bbd60ff67d1accedc2f57b7fc33d46404c459e..e3334a0b38572d2d5104d05d3233b768380a3bfe 100755 (executable)
--- a/.github/matrix.py
+++ b/.github/matrix.py
@@ -73,6 +73,7 @@ for CC in ["gcc", "clang"]:
             "CC": CC,
             "FLAGS": [
                 "USE_ZLIB=1",
+                "USE_OT=1",
                 "OT_INC=${HOME}/opt/include",
                 "OT_LIB=${HOME}/opt/lib",
                 "OT_RUNPATH=1",
@@ -147,6 +148,7 @@ matrix.append(
         "FLAGS": get_asan_flags(CC)
         + [
             "USE_ZLIB=1",
+            "USE_OT=1",
             "OT_INC=${HOME}/opt/include",
             "OT_LIB=${HOME}/opt/lib",
             "OT_RUNPATH=1",