Adrien Vergé 4515269233 CI: Fix failing 'coverage' command because of $PATH ...

Very probably due to:
https://github.com/actions/virtual-environments/issues/2455#issuecomment-787511010

2021-03-24 17:16:57 +01:00

..

ci.yaml

CI: Fix failing 'coverage' command because of $PATH

2021-03-24 17:16:57 +01:00