Scrub Obsolete - why3

• 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: 2024-01-28T05:37 (took 20m47s)
• Branch URL: https://salsa.debian.org/ocaml-team/why3.git -b master (taken from version 1.6.0-1)
• Queue position: 134167 (a 56w4d wait)

Schedule a new run

The codemod failed to run for some reason, and didn't report why. This is almost always a bug in the codemod.

Run locally

More details

Full run details

Historical runs

• command-failed: Script ['deb-scrub-obsolete'] failed to run with code 1
• nothing-to-do: No changes made
• nothing-to-do: No changes made