Merge pull request #1610 from github/henrymercer/diagnostics-workarou…

…nd-improvements Follow-up improvements to the diagnostics workaround
github · Mar 27, 2023 · bc0ed6a · bc0ed6a
2 parents b0e191e + 57eca7c
commit bc0ed6a
Show file tree

Hide file tree

Showing 6 changed files with 35 additions and 27 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/util.js b/lib/util.js