Actually Travis is triggered each time we push something into the repository, but not for each commits.
2016-10-11 14:59 GMT+02:00 Richard Shann <rich...@rshann.plus.com>: > On Tue, 2016-10-11 at 09:43 +0200, Éloi Rivard wrote: > > The script that made copies of the savannah git repository to the > > github repository was on an old server of mine, that died several days > > ago. I just moved that very script on a new server, so it should be OK > > from now. > > Thanks! It has done one build - a bit surprised that a commit 5hrs ago > hasn't shown up yet though... > > Richard > > > > > > 2016-10-04 14:48 GMT+02:00 Richard Shann <rich...@rshann.plus.com>: > > The status on the site says everything is ok > > anybody any idea why they have stopped? > > > > Richard > > > > > > > > > > >
_______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel