gitlab-ci: Improve error message on failure of doc-tarball job

Authored by bgamari on Apr 20 2019, 10:17 AM.

Description

gitlab-ci: Improve error message on failure of doc-tarball job

Previously the failure was quite nondescript.

Details

Committed
bgamariApr 20 2019, 10:55 AM
Parents
rGHC10776562d8b9: Hadrian: Drop old/unused CI scripts
Branches
Unknown
Tags
Unknown