Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Set a timeout for ocamltest invocations
By default, we allow a generous 10 minutes (600 seconds). Can be overriden with `make TIMEOUT=...`.
- Loading branch information