From 86fd18324b95a6ee22cd76427f8164656000357a Mon Sep 17 00:00:00 2001
From: "Sergio R. Caprile" <scaprile@cesanta.com>
Date: Wed, 19 Jul 2023 16:14:44 -0300
Subject: [PATCH] codeql

---
 .github/workflows/codeql.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index e83cd42f..09dcf3d3 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -28,8 +28,8 @@ jobs:
       with:
         languages: cpp
     - run: |
-        make test CC=gcc
-        ./test/setup_ga_network.sh && make mip_test CC=gcc
+        make test CC=gcc ASAN= ASAN_OPTIONS=
+        ./test/setup_ga_network.sh && make mip_test CC=gcc ASAN= ASAN_OPTIONS=
 
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v2