Subsequent tactics test rebased on top of fixed lsp-test #2509

Closed

pepeiborra wants to merge 6 commits intomasterfrom

subsequent-tactics-test-rebased

Commits on Jan 1, 2022

Add subsequent tactic test

isovector
authored and
michaelpj
committed
Delete extraneous hie.yaml and cabal descriptor in Tactics test suite

pepeiborra
authored and
michaelpj
committed
Fix Show instance

pepeiborra
authored and
michaelpj
committed
remove unnecessary recordDirtyKeys call

pepeiborra
authored and
michaelpj
committed

Commits on Jan 2, 2022