Lintian Fixes - coq-interval
Recent merge proposals
No unpublished successful runs for coq-interval.
Historical runs
- nothing-to-do: No changes made
- success:
- success:
- nothing-new-to-do: No changes made
- success:
- success:
- worker-exception: W:GPG error: http://deb.debian.org/debian sid InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 648ACFD622F3D138 NO_PUBKEY 0E98404D386FA1D9, E:Release file for http://deb.debian.org/debian/dists/sid/InRelease is not valid yet (invalid for another 1d 22h 31min 31s). Updates for this repository will not be applied.
- worker-exception: W:Download is performed unsandboxed as root as file '/tmp/tmpqh0y9ql1/var/lib/apt/lists/partial/deb.debian.org_debian_dists_sid_InRelease' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied), W:GPG error: http://deb.debian.org/debian sid InRelease: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY 648ACFD622F3D138 NO_PUBKEY 0E98404D386FA1D9, E:Release file for http://deb.debian.org/debian/dists/sid/InRelease is not valid yet (invalid for another 2d 0h 56min 10s). Updates for this repository will not be applied.
- success:
- worker-failure: breezy.errors.AlreadyBranchError: Already a branch: "file:///tmp/janitor-worker2m1h01r6/coq-interval.git/".
- worker-timeout: No keepalives received in 1:00:01.148706.
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/830376/ has disappeared
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/830227/ has disappeared
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/829286/ has disappeared
- worker-timeout: No keepalives received in 1 day, 12:10:45.037257.
- success:
- success:
- success:
- success:
- success:
- 401-unauthorized: Unexpected HTTP status 401 for https://salsa.debian.org/ocaml-team/interval.git/info/refs?service=git-upload-pack: Unable to handle http code: Unauthorized