Closed julianhoever closed 1 year ago
Currently we only run automatically the unit and integration tests. We also have to automatically run the newly added system tests (type-check examples).
We have currently no system tests anymore. I close this issue.
Currently we only run automatically the unit and integration tests. We also have to automatically run the newly added system tests (type-check examples).