Scrub Obsolete - coq-doc
Recent merge proposals
No unpublished successful runs for coq-doc.
Historical runs
- nothing-to-do: No changes made
- success: Remove constraints unnecessary since buster.
- push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- build-failed-stage-build: make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
- package-missing-in-archive: package coq-doc is missing in archive
- run-disappeared: Worker started processing new run rather than 2593155d-31d3-44ab-b8b1-a6ce38ea78cd
- run-disappeared: Worker started processing new run rather than 1a1dd309-bc1f-4cc4-9d56-90ab22730418
- worker-timeout: No keepalives received in 1:00:11.965839.
- worker-clone-transport-error: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- worker-timeout: No keepalives received in 1:33:51.778504.
- worker-timeout: No keepalives received in 1:39:32.672755.
- success: Remove constraints unnecessary since buster.
- 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)
- worker-exception: EOF occurred in violation of protocol (_ssl.c:2396)
- success: Remove constraints unnecessary since buster.
- build-failed-stage-build: make[1]: *** [debian/rules:9: override_dh_auto_build] Error 1
- worker-timeout: No keepalives received in 10:00:10.251642.
- worker-timeout: No keepalives received in 10:00:10.061496.