Commit 252b5d9

committed

Remove superfluous tests from MIRI suite

MIRI runs `coretests`, where these have been moved.

1 parent 9d37cd8 commit 252b5d9Copy full SHA for 252b5d9

1 file changed

Comments

(0)

Provide feedback