"patches/patch20250130-8.0.1/patch.sh" did not exist on "8a05b0b3fd60cbed39b6ce487da827e5d385d90f"
ENH: Make code coverage optional and depend on available libraries.
Failed
Daniel Hornung
created pipeline for commit
a103192c
, finished
1 related merge request: !30 Debug build
5 minutes 51 seconds, queued for 5 seconds