From 69a4755f74692c5a8cf11a985a40bbcbe0ac3330 Mon Sep 17 00:00:00 2001 From: slaren Date: Sat, 22 Jun 2024 17:38:30 +0200 Subject: [PATCH] server ci : disable thread sanitizer --- .github/workflows/server.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml index 6155e94156e42..311abf02af807 100644 --- a/.github/workflows/server.yml +++ b/.github/workflows/server.yml @@ -30,7 +30,7 @@ jobs: strategy: matrix: - sanitizer: [ADDRESS, THREAD, UNDEFINED] + sanitizer: [ADDRESS, UNDEFINED] # THREAD is broken build_type: [RelWithDebInfo] include: - build_type: Release