From 6fa68497342842583bd20b9128aca494ab229fb1 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 15 Jul 2026 08:54:10 +0200 Subject: [PATCH] codeql: do not generate reports for 3rd party code --- .github/workflows/codeql.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index 708f6e4ac..2c4d36a83 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -34,7 +34,7 @@ jobs: echo 'set(CMAKE_C_COMPILER clang CACHE STRING "")' >> Configuration.cmake echo 'set(CMAKE_CXX_COMPILER clang++ CACHE STRING "")' >> Configuration.cmake - cmake -C Configuration.cmake -B build . + cmake -C Configuration.cmake -B build . -DYOSYS_WITHOUT_ABC=ON -DYOSYS_WITHOUT_SLANG=ON cmake --build build -j6 - name: Perform CodeQL Analysis