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: ""