Scrub Obsolete - dafny

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-09-10T09:52 (took 20m8s)
• Branch URL: https://salsa.debian.org/debian/dafny.git -b master (taken from version 2.3.0+dfsg-0.1)
• Queue position: 128284 (a 54w1d wait)

Schedule a new run

No unpublished successful runs for dafny.

Historical runs

• run-disappeared: Jenkins lists job 1132282 for run ebab42cb-25be-4d56-af0c-3cbacd2aa819 as failed
• nothing-to-do: No changes made