Skip to content

Add github-codeql-tools repository property for tools input#3766

Open
oscarsj with Copilot wants to merge 25 commits into
mainfrom
copilot/add-tools-input-source-repository
Open

Add github-codeql-tools repository property for tools input#3766
oscarsj with Copilot wants to merge 25 commits into
mainfrom
copilot/add-tools-input-source-repository

Merge branch 'main' into copilot/add-tools-input-source-repository

d1418f9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar