Repository navigation

Respect extra options in a few `codeql` calls - #881

Merged

edoardopirovano merged 1 commit into

mainfrom

edoardo/respect-env

Jan 21, 2022

Merged

Respect extra options in a few `codeql` calls#881
edoardopirovano merged 1 commit into
mainfrom
edoardo/respect-env

Commits on Jan 21, 2022
- Respect extra options in a few `codeql` calls
  edoardopirovano
  committed
  14b4839