From bd48a0ac107fafea9db9d3e68bcaebd3da2f1683 Mon Sep 17 00:00:00 2001 From: Georgi Gerganov Date: Tue, 30 Dec 2025 14:02:58 +0200 Subject: [PATCH] fix2 --- .github/workflows/server.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml index 50d6eac1bd..9457fc24f4 100644 --- a/.github/workflows/server.yml +++ b/.github/workflows/server.yml @@ -38,7 +38,6 @@ jobs: matrix: sanitizer: [ADDRESS, UNDEFINED] # THREAD is broken build_type: [RelWithDebInfo] - extra_args: [] include: - build_type: Release sanitizer: ""