New Upstream Snapshot - aac-tactics

• 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: 2023-01-17T15:47 (took 8m42s)
• Branch URL: https://salsa.debian.org/ocaml-team/aac-tactics.git -b master (taken from version 8.18.0-1)
• Queue position: 174427 (a 125w0d wait)

Schedule a new run

More details

Full run details

Historical runs

• failed: Error: This expression has type EConstr.ESorts.t
• failed: Error: This expression has type EConstr.ESorts.t
• failed: Error: This expression has type EConstr.ESorts.t
• failed: Error: This expression has type EConstr.ESorts.t
• run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/792920/ has disappeared
• result-push-failed: Failed to push result branch: Connection closed: Connection closed early The remote server unexpectedly closed the connection.
• success: Merged new upstream version 8.16.0+git20221030.1.6e02fa0
• worker-timeout: No keepalives received in 1:00:03.700013.
• worker-timeout: No keepalives received in 1:00:03.753843.
• run-disappeared: Worker started processing new run rather than f36ea68d-1ca0-48f7-b0d6-bafe4f80dce1
• command-failed: Command 'SCHROOT=unstable-amd64-sbuild PYTHONPATH=/:/code:/code/breezy:/code/dulwich:/code/lintian-brush:/code/ognibuild:/code/silver-platter:/code/buildlog-consultant:/code/upstream-ontologist:/code/debmutate:/code/python-debian/lib:/usr/lib/python39.zip:/usr/lib/python3.9:/usr/lib/python3.9/lib-dynload:/usr/local/lib/python3.9/dist-packages:/usr/lib/python3/dist-packages /usr/bin/python3 -m janitor.dist --packaging=/tmp/janitorelzi7mf3/aac-tactics/debian' returned non-zero exit status 1.
• command-failed: Command 'SCHROOT=unstable-amd64-sbuild PYTHONPATH=/:/code:/code/breezy:/code/dulwich:/code/lintian-brush:/code/ognibuild:/code/silver-platter:/code/buildlog-consultant:/code/upstream-ontologist:/code/debmutate:/code/python-debian/lib:/usr/lib/python39.zip:/usr/lib/python3.9:/usr/lib/python3.9/lib-dynload:/usr/local/lib/python3.9/dist-packages:/usr/lib/python3/dist-packages /usr/bin/python3 -m janitor.dist --packaging=/tmp/janitoreh9sqc3i/aac-tactics/debian' returned non-zero exit status 1.
• upstream-branch-unavailable: The upstream branch at https://github.com/coq-community/Lobby.git was unavailable: ('https://github.com/coq-community/Lobby.git', 'Unexpected HTTP status 401 for https://github.com/coq-community/Lobby.git/info/refs?service=git-upload-pack: Unable to handle http code: Authorization Required')