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

Merged

ivanperez-keera merged 2 commits intoCopilot-Language:masterfrom

GaloisInc:chathhorn/develop-fix-hackage-tests

Jan 7, 2026

Commits on Jan 6, 2026

copilot-bluespec: Disable test suite via newly added manual cabal flag. Refs #673.
chathhorn-galois
committed
copilot-bluespec: Document changes in CHANGELOG. Refs #673.
chathhorn-galois
committed