New Upstream Snapshot - dafny

• QA Page
• Maintainer email: bbaren@mit.edu
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-01-22T15:14 (took 1m14s)
• Branch URL: https://salsa.debian.org/debian/dafny.git -b master (taken from version 2.3.0+dfsg-0.1)
• Queue position: 249950 (a 273w1d wait)

Schedule a new run

More details

Full run details

Historical runs

• requires-nested-tree-support: Unable to find nested tree at Test/libraries
• requires-nested-tree-support: Unable to find nested tree at Test/libraries
• requires-nested-tree-support: Unable to find nested tree at Test/libraries
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 3
• worker-timeout: No keepalives received in 1:00:05.961676.
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 3
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 1
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 1
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 1
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code -9
• codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code -9
• worker-timeout: No keepalives received in 10:00:10.470003.