robojerk/codeql-action

Merge branch 'main' into fix/197

Browse source
This commit is contained in:
Robert 2020-09-23 14:28:21 +01:00 • committed by GitHub
commit 5d00d5b4e8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 1 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tracer-config.ts
View file

@ -13,13 +13,9 @@ export type TracerConfig = {
const CRITICAL_TRACER_VARS = new Set([
"SEMMLE_PRELOAD_libtrace",
,
"SEMMLE_RUNNER",
,
"SEMMLE_COPY_EXECUTABLES_ROOT",
,
"SEMMLE_DEPTRACE_SOCKET",
,
"SEMMLE_JAVA_TOOL_OPTIONS",
]);