Skip to content

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

Respect extra options in a few `codeql` calls

14b4839
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs