codeql more space

VowpalWabbit · Oct 16, 2023 · c3fe0fc · c3fe0fc
1 parent 0533ca3
commit c3fe0fc
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/codeql/codeql-config.yml b/.github/codeql/codeql-config.yml
@@ -1,4 +1,9 @@
 name: "CodeQL config"
+
+# Specify the paths to ignore
 paths-ignore:
-  - bindings/python/docs/
-  - ext_libs/
+  - 'bindings/python/docs/'
+  - 'ext_libs/'
+
+# Specify the minimum disk space required
+min-disk-free: 2048 # Adjust as necessary. This value is in MB.