From 3c2ebf9622c544c086a46bdc380676459910f3c4 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Tue, 30 Apr 2024 11:22:35 +0200
Subject: [PATCH] fix (same as 78e099f)

---
 .github/workflows/linuxWF.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/linuxWF.yml b/.github/workflows/linuxWF.yml
index fd81f4b9ae..21a1237ea2 100644
--- a/.github/workflows/linuxWF.yml
+++ b/.github/workflows/linuxWF.yml
@@ -186,7 +186,8 @@ jobs:
       run: |
          make -C developer-doc coverage
          .ci/push coverage
-         bash <(curl -s https://codecov.io/bash) > /dev/null
+         # this is hanging for some reason now (2024-04-03) - GB
+         #bash <(curl -s https://codecov.io/bash) > /dev/null
     - name: Push doc
       if: contains( matrix.variant, '-doc-' )
       env: