New Upstream Release - coq-simple-io
No unpublished successful runs for coq-simple-io.
Historical runs
- nothing-to-do: Nothing to do.
- worker-failure: ImportError: cannot import name 'validate' from 'janitor.debian.validate' (/code/janitor/debian/validate.py)
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/759915/ has disappeared
- run-disappeared: Worker started processing new run 266134de-1abb-41c3-a161-fc96a583023c rather than 0fc5eaf0-625e-401c-8658-43ddb294792a
- run-disappeared: Worker started processing new run cda3c8e3-8787-48f1-afa1-aa433b20e6da rather than 2241ce20-51e2-4fd6-8f32-bb07e72f85bc
- run-disappeared: Worker started processing new run rather than f24a8c72-f4b8-40cb-91c8-13e224c56d8c