codecov upload failing on windows py37

[dcherian]

##[section]Starting: Upload coverage to codecov.io
==============================================================================
Task         : Bash
Description  : Run a Bash script on macOS, Linux, or Windows
Version      : 3.151.3
Author       : Microsoft Corporation
Help         : https://docs.microsoft.com/azure/devops/pipelines/tasks/utility/bash
==============================================================================
Generating script.
Script contents:
bash <(curl https://codecov.io/bash) -t ***
[command]"C:\Program Files\Git\bin\bash.exe" --noprofile --norc -c pwd
/d/a/_temp
========================== Starting Command Output ===========================
[command]"C:\Program Files\Git\bin\bash.exe" --noprofile --norc /d/a/_temp/069b452e-2aaa-4c0a-8ce4-3748bfd77a29.sh
bash: /dev/fd/63: No such file or directory
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
 12 47324   12  5781    0     0  16708      0  0:00:02 --:--:--  0:00:02 16708
curl: (23) Failed writing body (2402 != 4087)
##[error]Bash exited with code '127'.
##[section]Finishing: Upload coverage to codecov.io

[crusaderky]

curl: (23) Failed writing body (2402 != 4087) means that bash closed the read pipe before curl was finished writing.
Smells like some weird bash non-compliance in the Azure pipelines image.

[crusaderky]

Fixed; please merge from master in all dev branches.