The upgrade to 8.2.beta1 seems to have broken the patchbot -- several
patchbots ("arando", "quasar" and "sage4") are now reporting failures, all
to do with downloading a new version of the package "notedown". Below is
the tail end of a sample report.Is there any way we can make the patchbot recognise that its version of Sage won't build, and stop testing tickets if so, rather than merrily ploughing on testing tickets and reporting spurious "build failure" messages to all of them? David [notedown-1.5.1] Found local metadata for notedown-1.5.1 [notedown-1.5.1] Attempting to download package notedown-1.5.1.tar.gz from mirrors [notedown-1.5.1] http://www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/notedown/notedown-1.5.1.tar.gz [notedown-1.5.1] [xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] [notedown-1.5.1] ERROR [transfer|run:135]: [Errno 404] Not Found: '// www.mirrorservice.org/sites/www.sagemath.org/spkg/upstream/notedown/notedown-1.5.1.tar.gz ' [notedown-1.5.1] [...] *************************************************************** Error building Sage. The following package(s) may have failed to build (not necessarily during this run of 'make all-build'): * package: gap_packages-4.8.6new.p0 log file: /home/patchbot/sage-patchbot/logs/pkgs/gap_packages-4.8.6new.p0.log build directory: /home/patchbot/sage-patchbot/local/var/tmp/sage/build/gap_packages-4.8.6new.p0 * package: notedown-1.5.1 log file: /home/patchbot/sage-patchbot/logs/pkgs/notedown-1.5.1.log build directory: /home/patchbot/sage-patchbot/local/var/tmp/sage/build/notedown-1.5.1 -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
