Description

The copilot-bluespec requires bsc (the Bluespec compiler) to be installed in order to run its test suite, but the builders that Hackage uses to run uploaded packages' test suites do not have bsc installed, causing Hackage to spuriously claim that copilot-bluespec's tests are failing.

Type

• Bug: Hackage incorrectly claims test failures.

Additional context

haskell/hackage-server#1414 is a broader discussion about whether tests can be disabled on Hackage, or alternatively whether bsc can be installed on Hackage builders to allow the copilot-bluespec test suite to pass. This discussion is blocked pending further action from Hackage maintainers.

Requester

• Ryan Scott (Galois)

Method to check presence of bug

https://hackage.haskell.org/package/copilot-bluespec/reports, which shows the build status for the most recently uploaded version of copilot-bluespec, shows "Failed" in the Tests column.

Expected result

https://hackage.haskell.org/package/copilot-bluespec/reports should show "Ok" or "NotTried" in the Tests column in the details page.

Desired result

https://hackage.haskell.org/package/copilot-bluespec/reports should show "NotTried" in the Tests column.

Proposed solution

Pending a resolution to haskell/hackage-server#1414, employ a workaround by disabling copilot-bluespec's test suite by default in its .cabal file.

Further notes

None.