start-proxy: Skip proxy setup if no credentials are available - #2724

start-proxy: Skip proxy setup if no credentials are available#2724

marcogario merged 3 commits into

maingithub/codeql-action:mainfrom

marcogario/skip_proxygithub/codeql-action:marcogario/skip_proxyCopy head branch name to clipboard