Merge main into v1#883

Merged

edoardopirovano merged 13 commits intov1from

update-v1.0.30-a7adbce2

Jan 24, 2022

Commits on Jan 20, 2022

Commits on Jan 21, 2022

Update changelog and version after v1.0.29
github-actions[bot]
committed
1.0.30
github-actions[bot]
committed
Update checked-in dependencies
github-actions[bot]
committed
Merge pull request #880 from github/mergeback/v1.0.29-to-main-384cfc42
edoardopirovano
authored
Respect extra options in a few `codeql` calls
edoardopirovano
committed
Merge pull request #881 from github/edoardo/respect-env
edoardopirovano
authored
Merge branch 'main' into aeisenberg/multi-init
aeisenberg
authored
Merge pull request #876 from github/aeisenberg/multi-init
aeisenberg
authored

Commits on Jan 24, 2022

Update default CodeQL version to 2.7.6
edoardopirovano
committed
Merge pull request #877 from github/codeql-cli-2.7.6
edoardopirovano
authored
1.0.30
github-actions[bot]
committed