github: Add build with DBG completely disabled

2023-05-08 17:32:18 +02:00
parent 21f01808ff
commit 027ba4d12e
2 changed files with 7 additions and 1 deletions
@@ -45,6 +45,9 @@ jobs:
          - test: coverage
          - test: dist
          - test: nm
+          - test: no-dbg
+          - test: no-dbg
+            compiler: clang
          - test: fuzzing
            compiler: clang
            monolithic: yes