Merge pull request #8357 from ffaf1/skip-test
commit131d6728d35fa657abc954b42c89a52a2aa13f04
authorMikolaj Konarski <mikolaj@well-typed.com>
Thu, 11 Aug 2022 09:49:17 +0000 (11 11:49 +0200)
committerGitHub <noreply@github.com>
Thu, 11 Aug 2022 09:49:17 +0000 (11 11:49 +0200)
tree029f9f1e773d5f0b9e3589e5da654694c4a62916
parentdd312ecc44b79945061a4cb45e15b90f26382be4
parentcd7a91281c72c1b4587c155264180307646ce36f
Merge pull request #8357 from ffaf1/skip-test

Turn off DeterministicTrivial test (see #8356)