Skip to content
Snippets Groups Projects
Forked from David Hamelin / jscoq-light
Source project has a limited visibility.
user avatar
Shachar Itzhaky authored
What was needed in order to run unit tests in Node.js is
now located in `headless.ts`.
It is invoked via the regular CLI (bundled with Webpack).

Fixes #195.
fbed5197
History
Name Last commit Last update