wip

Author: andrewlundberg-wf

.github/workflows/ci.yml

@@ -119,6 +119,10 @@ jobs:
       - uses: actions/checkout@v5
       # Run the "semgrep ci" command on the command line of the docker image.
       - run: |
+          unset HTTP_PROXY
+          unset http_proxy
+          unset HTTPS_PROXY
+          unset https_proxy
           semgrep \
             --quiet \
             --config auto \