gitlab: Remove doc-tarball job

Authored by ghc-builders on Apr 13 2019, 8:31 AM.

Description

gitlab: Remove doc-tarball job

Details

Committed
bgamariApr 17 2019, 9:58 AM
Parents
rGHCd127dc131c07: Allow unregisterised build to fail
Branches
Unknown
Tags
Unknown