New Upstream Snapshot - cvc4

• QA Page
• Maintainer email: debian-science-maintainers@alioth-lists.debian.net
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-01-22T16:13 (took 26m37s)
• Branch URL: https://salsa.debian.org/science-team/cvc4.git -b master (taken from version 1.8-3)
• Queue position: 243058 (a 253w1d wait)

Schedule a new run

There were merge conflicts while merging a new upstream version.

More details

Full run details

Historical runs

• upstream-merged-conflicts: Merging upstream version 1.8+git20230121.1.a640909 resulted in conflicts.
• too-many-requests: Unexpected HTTP status 429 for https://salsa.debian.org/science-team/cvc4.git/info/refs?service=git-upload-pack: Unable to handle http code: Too Many Requests
• worker-timeout: No keepalives received in 10:00:11.963513.