gitlab-ci: Allow integer-simple and unregisterised builds to fail

Authored by bgamari on Dec 29 2018, 3:35 PM.

Description

gitlab-ci: Allow integer-simple and unregisterised builds to fail

Details

Committed
bgamariDec 29 2018, 4:40 PM
Parents
rGHC8b043e883f00: testsuite: Skip ffi018_ghci when unregisterised
Branches
Unknown
Tags
Unknown