Closed CoqRogue closed 6 years ago
LGTM. The specRunner.html
file also runs the tests in a browser, but only if jasmine is installed. Is it worth to keep jasmine too?
(I wonder if jest can run in a browser too, but that's not really critical right now)
I am not sure when it comes to the jasmine stuff, so I left it in for now. We do want to revisit this in the future I guess.
Swap from Jasmine to Jest to run tests on internal buildservers.