gitlab-ci: Allow failing build jobs to fail

Authored by bgamari on Apr 6 2019, 8:55 PM.

Description

gitlab-ci: Allow failing build jobs to fail

Details

Committed
bgamariApr 17 2019, 9:57 AM
Parents
rGHC7160a8211456: users-guide: Add pretty to package list
Branches
Unknown
Tags
Unknown