New Upstream Snapshot - coq
More details
Historical runs
- quilt-patch-out-of-date: Quilt patch fix_debian_paths.patch no longer applies
- quilt-patch-out-of-date: Quilt patch fix_debian_paths.patch no longer applies
- quilt-patch-out-of-date: Quilt patch fix_debian_paths.patch no longer applies
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/782056/ has disappeared
- quilt-refresh-error: An error occurred refreshing quilt patch fix_debian_paths.patch: Applying patch debian/patches/fix_debian_paths.patch patching file tools/make-one-time-file.py patching file dev/tools/update-compat.py patching file dev/bench/bench.sh patching file dev/bench/sort-by-deps patching file dev/bench/sort-by-deps.sh patching file dev/bench/timelog2html patching file dev/ci/ci-aac_tactics.sh patching file dev/ci/ci-argosy.sh patching file dev/ci/ci-basic-overlay.sh patching file dev/ci/ci-bbv.sh patching file dev/ci/ci-bedrock2.sh patching file dev/ci/ci-bignums.sh patching file dev/ci/ci-color.sh patching file dev/ci/ci-common.sh patching file dev/ci/ci-coq_dpdgraph.sh patching file dev/ci/ci-coq_performance_tests.sh patching file dev/ci/ci-coq_tools.sh patching file dev/ci/ci-coqhammer.sh patching file dev/ci/ci-coqprime.sh patching file dev/ci/ci-coqtail.sh patching file dev/ci/ci-coquelicot.sh patching file dev/ci/ci-corn.sh patching file dev/ci/ci-cross_crypto.sh patching file dev/ci/ci-deriving.sh patching file dev/ci/ci-elpi.sh patching file dev/ci/ci-engine_bench.sh patching file dev/ci/ci-equations.sh patching file dev/ci/ci-ext_lib.sh patching file dev/ci/ci-fiat_crypto.sh patching file dev/ci/ci-fiat_crypto_legacy.sh patching file dev/ci/ci-fiat_crypto_ocaml.sh patching file dev/ci/ci-fiat_parsers.sh patching file dev/ci/ci-flocq.sh patching file dev/ci/ci-fourcolor.sh can't find file to patch at input line 288 Perhaps you used the wrong -p or --strip option? The text leading up to this was: -------------------------- |--- coq.orig/dev/ci/ci-gappa.sh |+++ coq/dev/ci/ci-gappa.sh -------------------------- No file to patch. Skipping patch. 1 out of 1 hunk ignored patching file dev/ci/ci-geocoq.sh patching file dev/ci/ci-hott.sh patching file dev/ci/ci-iris.sh patching file dev/ci/ci-math_classes.sh patching file dev/ci/ci-mathcomp.sh patching file dev/ci/ci-mczify.sh patching file dev/ci/ci-menhir.sh patching file dev/ci/ci-metacoq.sh patching file dev/ci/ci-mtac2.sh patching file dev/ci/ci-oddorder.sh patching file dev/ci/ci-paramcoq.sh patching file dev/ci/ci-perennial.sh patching file dev/ci/ci-quickchick.sh patching file dev/ci/ci-reduction_effects.sh patching file dev/ci/ci-relation_algebra.sh patching file dev/ci/ci-rewriter.sh patching file dev/ci/ci-sf.sh patching file dev/ci/ci-simple_io.sh patching file dev/ci/ci-stdlib2.sh patching file dev/ci/ci-tlc.sh patching file dev/ci/ci-unicoq.sh patching file dev/ci/ci-unimath.sh patching file dev/ci/ci-verdi_raft.sh patching file dev/ci/ci-vscoq.sh patching file dev/ci/ci-vst.sh patching file dev/ci/ci-wrapper.sh patching file dev/ci/nix/shell patching file dev/dune-dbg.in patching file dev/lint-commits.sh patching file dev/lint-repository.sh patching file dev/shim/dune Hunk #1 succeeded at 17 with fuzz 2 (offset 11 lines). Hunk #2 succeeded at 41 with fuzz 2 (offset 23 lines). Hunk #3 succeeded at 88 (offset 34 lines). Hunk #4 succeeded at 117 with fuzz 2 (offset 42 lines). patching file dev/tools/backport-pr.sh patching file dev/tools/check-eof-newline.sh patching file dev/tools/check-overlays.sh patching file dev/tools/check-owners-pr.sh patching file dev/tools/check-owners.sh patching file dev/tools/create_overlays.sh patching file dev/tools/generate-release-changelog.sh can't find file to patch at input line 629 Perhaps you used the wrong -p or --strip option? The text leading up to this was: -------------------------- |--- coq.orig/dev/tools/github-check-prs.py |+++ coq/dev/tools/github-check-prs.py -------------------------- No file to patch. Skipping patch. 1 out of 1 hunk ignored patching file dev/tools/list-contributors.sh patching file dev/tools/make_git_revision.sh patching file dev/tools/merge-pr.sh patching file dev/tools/notify-upstream-pins.sh patching file dev/tools/pin-ci.sh patching file doc/stdlib/make-library-index patching file doc/tools/coqrst/notations/fontsupport.py patching file doc/tools/coqrst/regen_readme.py patching file test-suite/coq-makefile/camldep/run.sh patching file test-suite/coq-makefile/findlib-package-unpacked/run.sh patching file test-suite/coq-makefile/local-late-extension/run.sh patching file test-suite/coq-makefile/missing-install/run.sh patching file test-suite/coq-makefile/native1/run.sh patching file test-suite/coq-makefile/native2/run.sh patching file test-suite/coq-makefile/native3/run.sh patching file test-suite/coq-makefile/native4/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/001-correct-diff-sorting-order/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/002-single-file-sorting/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/003-non-utf8/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/004-per-file-fuzz/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/005-correct-diff-sorting-order-mem/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/006-zero-before/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/007-no-output-sync/run.sh patching file test-suite/coq-makefile/timing/precomputed-time-tests/run.sh patching file test-suite/misc/11170.sh patching file test-suite/misc/13330.sh patching file test-suite/misc/7704.sh patching file test-suite/misc/changelog.sh patching file test-suite/misc/coq_environment.sh patching file test-suite/misc/coq_makefile_destination_of.sh patching file test-suite/misc/coqc_dash_o.sh patching file test-suite/misc/coqtop_print-mod-uid.sh patching file test-suite/misc/non-marshalable-state.sh patching file test-suite/misc/poly-capture-global-univs.sh patching file test-suite/misc/quotation_token.sh patching file test-suite/misc/redirect_printing.sh patching file test-suite/misc/side-eff-leak-univs.sh patching file test-suite/misc/universes/build_all_stdlib.sh patching file test-suite/misc/vio_checking.sh patching file test-suite/report.sh patching file test-suite/tools/update-compat/run.sh patching file tools/make-both-single-timing-files.py patching file tools/make-both-time-files.py Patch debian/patches/fix_debian_paths.patch does not apply (enforce with -f)
- worker-failure: ImportError: cannot import name 'MissingChangelogError' from 'breezy.plugins.debian.vcs_up_to_date' (/usr/local/lib/python3.10/dist-packages/breezy/plugins/debian/vcs_up_to_date.py)
- run-disappeared: Jenkins job https://jenkins.debian.net/job/janitor-worker/758151/ has disappeared
- worker-clone-incomplete-read: IncompleteRead(0 bytes read)
- command-failed: make: *** [Makefile.make:126: noconfig] Error 1
- worker-timeout: No keepalives received in 10:00:10.800182.