coq_jupyter
coq_jupyter copied to clipboard
Fix failing tests on newer versions of tornado
For some reason on newer versions of tornado tests fail to start properly. Tests work fine with 'tornado==5.1.1'. Investigate this issue. Reference: https://travis-ci.com/EugeneLoy/coq_jupyter/builds/102855885