diff options
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 13ec55f389..851eb27933 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -405,6 +405,7 @@ function run_hadrian() { run hadrian/build.cabal.sh \ --flavour="$FLAVOUR" \ -j"$cores" \ + --broken-test="$BROKEN_TESTS" \ $HADRIAN_ARGS \ $@ } |