Add github-codeql-tools repository property for tools input
#8698
This workflow is awaiting approval from a maintainer in #3766
This workflow is awaiting approval from a maintainer in #3766
__with-checkout-path.yml
on: pull_request
Matrix: Use a custom `checkout_path`
Waiting for pending jobs