Scrub Obsolete - boogie

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-09-10T06:07 (took 20m3s)
• Branch URL: https://salsa.debian.org/debian/boogie.git -b master (taken from version 2.4.1+dfsg-0.1)
• Queue position: 87864 (a 40w5d wait)

Schedule a new run

No unpublished successful runs for boogie.

Historical runs

• run-disappeared: Jenkins lists job 1132055 for run 7f432e85-7c87-4fa2-9923-9d13df540c47 as failed
• nothing-to-do: No changes made
• nothing-to-do: No changes made