Run all tests with double translation too #553
Annotations
5 errors
|
Run Zarith tests
Process completed with exit code 1.
|
|
Run Virtual_dom tests
Process completed with exit code 1.
|
|
Run String_dict tests
Process completed with exit code 1.
|
|
Run Base bigstring tests
Process completed with exit code 1.
|
|
Run tests with CPS effects
Process completed with exit code 1.
|
Loading