Scrub Obsolete - dune-typetree

• QA Page
• Maintainer email: debian-science-maintainers@lists.alioth.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-09-09T10:29 (took 20m9s)
• Branch URL: https://salsa.debian.org/science-team/dune-typetree.git -b master (taken from version 2.9.0-2)
• Queue position: 101845 (a 45w3d wait)

Schedule a new run

Recent merge proposals

• https://salsa.debian.org/science-team/dune-typetree/-/merge_requests/3 (merged)

No unpublished successful runs for dune-typetree.

Historical runs

• run-disappeared: Jenkins lists job 1130895 for run a9efd5ee-a7e2-4ea3-a9aa-e80b7aec200e as failed
• nothing-to-do: No changes made
• nothing-to-do: No changes made
• success: Remove constraints unnecessary since buster.
• worker-timeout: No keepalives received in 1:01:00.577693.
• run-disappeared: Worker started processing new run rather than 46a1b9f4-0b44-4013-bc6b-b6e366773cec
• worker-failure: NameError: name 'Optional' is not defined
• unable-to-find-upstream-tarball: Unable to find the needed upstream tarball for dune-typetree, version 5.2.3.