Skip to content

Ignore flakey tactics test#546

Merged
isovector merged 2 commits intohaskell:masterfrom
isovector:fixtests2
Oct 27, 2020
Merged

Ignore flakey tactics test#546
isovector merged 2 commits intohaskell:masterfrom
isovector:fixtests2

Commits

Commits on Oct 27, 2020