CI: Fix failing 'coverage' command because of $PATH
Very probably due to: https://github.com/actions/virtual-environments/issues/2455#issuecomment-787511010pull/372/head
parent
66bf76a362
commit
b46876f85d
Loading…
Reference in New Issue