From 78e099f779038279c6f103c7191527772eeea837 Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Tue, 30 Apr 2024 11:18:59 +0200
Subject: [PATCH] commented out codecov

There's a problem now which makes GH actions hang
---
 .github/workflows/ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a6a3789441..7b7a36d5e9 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -168,7 +168,8 @@ jobs:
       run: |
          make -C developer-doc coverage
          ./.travis/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: