[Buildroot] buildroot | Pipeline #7531221 has failed for master | f78b2c13

[Arnout Vandecappelle]

On 10-04-17 13:52, Thomas Petazzoni wrote:
> Hello,
> 
> On Sun, 9 Apr 2017 23:10:57 +0200, Arnout Vandecappelle wrote:
> 
>>  I configured the mirroring from git.buildroot.org to once per day. Apparently
>> the time when it syncs varies quite a bit. And apparently, it just didn't sync
>> today - the last sync is from Apr 8 2:18.
> 
> OK.
> 
>>  I could configure the mirror to once per hour instead, but then the CI will run
>> a little too often. OTOH, I guess you rarely push more than twice a day, right,
> 
> I do push much more than twice a day. When I'm actively merging
> patches, I'm almost pushing between every patch, so in a typical merge
> session, I can be doing 10, 20 pushes or more.
> 
>> so it's not going to make that much of a difference... But apparently, I can't
>> even change the synchronisation frequency, "Update every day" is the only option...
> 
> OK. Not ideal, but I guess we can live with this.

 There is actually an API to trigger a sync. So you could use that to trigger a
sync e.g. half an hour before triggering the build. I'll have to look up the
details.

 Regards,
 Arnout

-- 
Arnout Vandecappelle                          arnout at mind be
Senior Embedded Software Architect            +32-16-286500
Essensium/Mind                                http://www.mind.be
G.Geenslaan 9, 3001 Leuven, Belgium           BE 872 984 063 RPR Leuven
LinkedIn profile: http://www.linkedin.com/in/arnoutvandecappelle
GPG fingerprint:  7493 020B C7E3 8618 8DEC 222C 82EB F404 F9AC 0DDF