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