docs: better diagnostics
Passed
João Magalhães
created pipeline for commit
2425dd7d
, finished
For master
10 minutes 55 seconds, queued for 2 seconds