An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.
import Test.Tasty
import Test.Tasty.HUnit
import qualified Test.Tasty.Runners.Reporter as Reporter
main = defaultMainWithIngredients [Reporter.ingredient] tests
tests :: TestTree
$ cabal test --test-show-details=always --test-options "--xml=report.xml"