New Upstream Snapshot - coq-doc

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2022-10-27T12:16 (took 23m25s)
• Branch URL: https://salsa.debian.org/ocaml-team/coq-doc.git -b master (taken from version 8.18.0-1)
• Queue position: 251084 (a 277w0d wait)

Schedule a new run

There were merge conflicts while merging a new upstream version.

More details

Full run details

Historical runs

• upstream-merged-conflicts: Merging upstream version 8.16.0+git20221027.1.c8d6473 resulted in conflicts.
• run-disappeared: Worker started processing new run 18c2706a-86ec-4142-98a1-7086f9139fe2 rather than 77b167c2-63a9-4639-ba3b-1e25af7566aa
• worker-timeout: No keepalives received in 1:00:14.261538.
• worker-timeout: No keepalives received in 1:31:35.989052.
• upstream-merged-conflicts: Merging upstream version 8.16.0+git20220913.1.65e96ad resulted in conflicts.
• aborted: Killed by signal
• command-failed: make: *** [Makefile.make:126: noconfig] Error 1
• command-failed: make: *** [Makefile.make:126: noconfig] Error 1
• worker-timeout: No keepalives received in 10:00:10.095413.
• worker-timeout: No keepalives received in 10:03:23.144005.
• worker-timeout: No keepalives received in 10:00:10.303532.
• run-disappeared: Worker started processing new run rather than 271503c5-6feb-43e7-bd17-ae142412925a