As a first step of a new instrastructure I have added a mirror:update is not yet working for files that keep the same name yet change content.This will be added I hope tomorrow.MarcusOn 9 Nov 2017, at 18:33, Norbert Hartl <norbert@hartl.name> wrote:Yes, this drives me crazy. You cannot do much or invite people to use it because the download does not work. Sometimes it is really ridiculous.NorbertAm 09.11.2017 um 10:28 schrieb Guillermo Polito <guillermopolito@gmail.com>:Hi,In the travis jobs of many projects (pillar, ossubprocess), I see often this failure:image.eqoxhz/Pharo7.0-32bit-b648168.image bad CRC 298b4e64 (should be 85ee6276) This is happening all the time for large builds, generally in 1 out of 4 jobs:Of course restarting the job (to retry the download) solves the problem eventually.Is this because of the inria infrastructure working funny?��--
������ Guille PolitoResearch EngineerCentre de Recherche en Informatique, Signal et Automatique de LilleCRIStAL - UMR 9189French National Center for Scientific Research - http://www.cnrs.frPhone: +33 06 52 70 66 13