Closed felix314159 closed 2 months ago
@felix314159 I do not think it's a good idea to remove tests and integration tests from make
True, removing the tests was supposed to be a temporary workaround until they have been fixed. The other issues are valid so I do not understand why you closed this.