remove miscommit test files

regen-network · Jun 27, 2022 · 9b8a731 · 9b8a731
1 parent ed80b0a
commit 9b8a731
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 38 deletions.
diff --git a/types/math/TestDec_TestIsFinite-20220627122636-483761.fail b/types/math/TestDec_TestIsFinite-20220627122636-483761.fail
diff --git a/types/math/TestDec_TestIsFinite-20220627123027-484371.fail b/types/math/TestDec_TestIsFinite-20220627123027-484371.fail