CI: github: add -DDEBUG_LIST to the default builds

Add the -DDEBUG_LIST flag which allow to check if a list element was
removed twice.

diff --git a/.github/matrix.py b/.github/matrix.py
index 1ad9534bd88df263ef448020c53c210de62833e5..6e1b4c388dcc2d753b81a398dfc753e17821907e 100755 (executable)
--- a/.github/matrix.py
+++ b/.github/matrix.py
@@ -117,6 +117,7 @@ def main(ref_name):
                 "TARGET": TARGET,
                 "CC": CC,
                 "FLAGS": [
+                    'DEBUG_CFLAGS="-DDEBUG_LIST"',
                     "USE_ZLIB=1",
                     "USE_OT=1",
                     "OT_INC=${HOME}/opt-ot/include",