copilot-bluespec: Tests are failing on Hackage #673
Description
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" in the Tests column.
Desired result
https://hackage.haskell.org/package/copilot-bluespec/reports should show "Ok" 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.