Not yet the time to retry valgrind

Author: huitema

.github/workflows/ci-tests.yml

@@ -37,10 +37,10 @@ jobs:
             ./picohttp_ct -S .. -n -r -x http_corrupt && HTTPRESULT=$?
             if [[ ${QUICRESULT} == 0 ]] && [[ ${HTTPRESULT} == 0 ]]; then exit 0; fi;
             exit 1
-            
-      - name: Run Valgrind
-        run: |
-            sudo apt-get update
-            sudo apt-get install -y valgrind
-            # Remove, until the picotls/openssl issue is resolved.
-            valgrind -v --error-exitcode=1  --track-origins=yes build/picoquic_ct zero_rtt_many_losses
+      
+      # Remove, until the picotls/openssl issue is resolved. TODO: restore when understood.
+      # - name: Run Valgrind
+      #  run: |
+      #      sudo apt-get update
+      #      sudo apt-get install -y valgrind
+      #      valgrind -v --error-exitcode=1  --track-origins=yes build/picoquic_ct zero_rtt_many_losses