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

marcogario merged 3 commits intomaingithub/codeql-action:mainfrom

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