Fix build error handling
Failed
Andreas Klöckner
created pipeline for commit
e0e7fd48
, finished
1 related merge request: !44 Pybind11
14 minutes 13 seconds, queued for 28 seconds