New Upstream Snapshot - z3
Building the package failed after changes were made to it.
More details
Historical runs
- build-failed-stage-build: dh_installchangelogs: error: copy(RELEASE_NOTES, debian/z3/usr/share/doc/z3/changelog): No such file or directory
- run-disappeared: Worker started processing new run ba10633f-1c20-46b2-9ecf-80e05af17d57 rather than 34c6625e-1cc8-4839-a357-c0763011cab0
- run-disappeared: Worker started processing new run rather than 96f203fb-a7da-4b85-9b6a-85f1728f9616
- build-failed-stage-build: dh_installchangelogs: error: copy(RELEASE_NOTES, debian/z3/usr/share/doc/z3/changelog): No such file or directory
- 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