[oar-prop] Improve error message
Warning
Lucas Nussbaum
created pipeline for commit
e65fb4f0
, finished
For master
16 minutes 36 seconds, queued for 139 seconds