copilot-bluespec: Disable test suite via newly added manual cabal flag. Refs #673. - #702

copilot-bluespec: Disable test suite via newly added manual cabal flag. Refs #673.#702

ivanperez-keera merged 2 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:chathhorn/develop-fix-hackage-testsGaloisInc/copilot-1:chathhorn/develop-fix-hackage-testsCopy head branch name to clipboard