The travis jobs fail with non-termination of mmt (and I've no explanation for it).
I think it was introduced by some latexml changes (within the last 4 days).
For some reason mmt does not recognize that certain latexml jobs finish. Therefore the following timeout occurs:
error: latexml: java.util.concurrent.TimeoutException: Futures timed out after [300 seconds]
Eventually, mmt cannot even clean up (and does not terminate).
The travis jobs fail with non-termination of mmt (and I've no explanation for it). I think it was introduced by some latexml changes (within the last 4 days).
For some reason mmt does not recognize that certain latexml jobs finish. Therefore the following timeout occurs:
Eventually, mmt cannot even clean up (and does not terminate).