New Upstream Snapshot - dafny
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.