better error messages

1 job for ci/pldi21-submission-artifact in 12 minutes and 19 seconds (queued for 7 minutes and 28 seconds)