diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 73655d63958d92aa24b13b198ff23539988f3529..4927a6a419430aef97a8542f7fb4578919de4433 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -88,6 +88,11 @@ run tar xf dist-newstyle/sdist/filepath-*.tar.gz run cd filepath-* run cabal v2-build ${args[@]} run cabal v2-test ${args[@]} --test-show-details=direct all -run cabal v2-bench ${args[@]} all +case "$(uname -s)" in + MSYS_*|MINGW*) ;; + *) + run cabal v2-bench ${args[@]} all + ;; +esac run cabal v2-haddock