New Upstream Snapshot - coq-hierarchy-builder
Creating a dist tarball from an upstream source repository snapshot failed.
More details
Historical runs
- dist-command-failed: Command 'SCHROOT=sid-amd64-sbuild PYTHONPATH=/:/usr/lib/python311.zip:/usr/lib/python3.11:/usr/lib/python3.11/lib-dynload:/usr/local/lib/python3.11/dist-packages:/usr/lib/python3/dist-packages /usr/bin/python3 -m janitor.debian.dist --log-directory=/tmp/janitor-workerm323ry0m --packaging=/tmp/janitor-workerm323ry0m/coq-hierarchy-builder.git/debian --apt-update --apt-dist-upgrade' returned non-zero exit status 1.
- nothing-to-do: Last upstream version 1.4.0 already imported.
- quilt-refresh-error: An error occurred refreshing quilt patch fix_testsuite.patch: Applying patch debian/patches/fix_testsuite.patch patching file tests/about.v.out.15 Hunk #1 FAILED at 139. 1 out of 1 hunk FAILED -- rejects in file tests/about.v.out.15 Patch debian/patches/fix_testsuite.patch does not apply (enforce with -f)
- quilt-refresh-error: An error occurred refreshing quilt patch fix_testsuite.patch: Applying patch debian/patches/fix_testsuite.patch patching file tests/about.v.out.15 Hunk #1 FAILED at 139. 1 out of 1 hunk FAILED -- rejects in file tests/about.v.out.15 Patch debian/patches/fix_testsuite.patch does not apply (enforce with -f)
- codemod-command-failed: Script ['deb-new-upstream', '--snapshot', '--refresh-patches'] failed to run with code 1
- build-failed-stage-build: make[4]: *** [Makefile.test-suite.coq.local:21: post-all] Error 1
- success: Merged new upstream version 1.2.1+git20220308.1.22b5208
- build-failed-stage-build: Killed
- build-failed-stage-explain-bd-uninstallable: build failed stage explain-bd-uninstallable