Scrub Obsolete - coq
Recent merge proposals
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
Historical runs
- command-failed: Script ['deb-scrub-obsolete'] failed to run with code 1
- success: Remove constraints unnecessary since buster.
- nothing-new-to-do: No changes made
- result-push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
- success: Remove constraints unnecessary since buster.
- success: Remove constraints unnecessary since buster.
- success: Remove constraints unnecessary since buster.
- success: Remove constraints unnecessary since buster.
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/758143/ has disappeared
- worker-clone-incomplete-read: IncompleteRead(0 bytes read)