From 54b0746033232cbb94473b9435be3a7980522af5 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 24 Feb 2026 20:05:15 +0000
Subject: [PATCH] Add compilation database to csa-analysis workflow

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/csa-analysis.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/csa-analysis.md b/.github/workflows/csa-analysis.md
index 479083d94..f841dfe9c 100644
--- a/.github/workflows/csa-analysis.md
+++ b/.github/workflows/csa-analysis.md
@@ -66,7 +66,7 @@ Run CMake inside a fresh `build` directory. Use `scan-build` to wrap the CMake c
 ```bash
 mkdir -p build
 cd build
-scan-build cmake -DCMAKE_BUILD_TYPE=Debug -G Ninja ../
+scan-build cmake -DCMAKE_BUILD_TYPE=Debug -DCMAKE_EXPORT_COMPILE_COMMANDS=ON -G Ninja ../
 ```
 
 ### 3. Build Z3 with scan-build