Hi Janek, As I was pushing at high frequency recently I kept cancelling gitlab jobs since they were way too long. Is there a trick I miss? Would it make sense to have a special tag we can set for building some branches with lightweight series of builds/test/doc on them (say, ubuntu + debian)? We can actually trick the gitlab.ci but that's ugly and there's always a risk to push it. Cheers Bruno
-- -- _______________ Bruno Chareyre Associate Professor ENSE³ - Grenoble INP Lab. 3SR BP 53 38041 Grenoble cedex 9 Tél : +33 4 56 52 86 21 ________________ Email too brief? Here's why: email charter <https://marcuselliott.co.uk/wp-content/uploads/2017/04/emailCharter.jpg>
_______________________________________________ Mailing list: https://launchpad.net/~yade-dev Post to : yade-dev@lists.launchpad.net Unsubscribe : https://launchpad.net/~yade-dev More help : https://help.launchpad.net/ListHelp
