Merge pull request #1940 from github/nickrolfe/rename_fgp_flag

Rename feature flag for evaluator fine-grained parallelism
github · Oct 26, 2023 · 4888104 · 4888104
2 parents dad0ebd + 06d8f4f
commit 4888104
Show file tree

Hide file tree

Showing 6 changed files with 22 additions and 22 deletions.
diff --git a/lib/codeql.js b/lib/codeql.js
diff --git a/lib/codeql.js.map b/lib/codeql.js.map
diff --git a/lib/feature-flags.js b/lib/feature-flags.js