Skip to content

Stop running liquidhaskell-boot tests

Facundo Domínguez requested to merge facundominguez/head.hackage:fd/no-more-lh-tests into master

It is worth removing the LH tests for a couple of reasons.

  1. As the test framework works, it is not easy for contributors of head.hackage to fix tests of LH, which would require fixes in the LH repo.

  2. Moreover, after conversations with @bgamari, it became apparent to me that any valuable tests for LH either need to run in LH CI or in GHC CI. There is little benefit to running them in head.hackage.

Merge request reports