Add a repository property for disabling overlay #3507
Merged
henrymercer merged 9 commits intomaingithub/codeql-action:mainfrom Feb 26, 2026
henrymercer/overlay-repo-propertygithub/codeql-action:henrymercer/overlay-repo-propertyCopy head branch name to clipboard
Merged
Add a repository property for disabling overlay #3507henrymercer merged 9 commits intomaingithub/codeql-action:mainfrom henrymercer/overlay-repo-propertygithub/codeql-action:henrymercer/overlay-repo-propertyCopy head branch name to clipboard
henrymercer merged 9 commits intomaingithub/codeql-action:mainfrom
henrymercer/overlay-repo-propertygithub/codeql-action:henrymercer/overlay-repo-propertyCopy head branch name to clipboard