Skip to content

Move tactics tests to be standalone#1425

Merged
mergify[bot] merged 6 commits intohaskell:masterfrom
isovector:tactic-tests
Feb 23, 2021

Commits

Commits on Feb 22, 2021