diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 94a36cf9c4..a3ea0eaa40 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -184,7 +184,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: