unchanged - coq-doc
No unpublished successful runs for coq-doc.
Historical runs
- success: No change build
- worker-timeout: No keepalives received in 1:01:04.239632.
- worker-timeout: No keepalives received in 1:34:52.501901.
- build-failed-stage-build: make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
- build-failed-stage-build: make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
- worker-exception: EOF occurred in violation of protocol (_ssl.c:2396)
- success: No change build
- success: No change build