Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Janek Kozicki (yade)
Bruno Chareyre said: (by the date of Mon, 18 May 2020 21:22:41 +0200) > On Mon, 18 May 2020 at 19:16, Janek Kozicki (yade) > wrote: > > > They are listed in the pipeline and marked as > > success, but inside you only have "Skipping this test, because it's a > > WIP merge request." > > > >

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Bruno Chareyre
On Mon, 18 May 2020 at 19:16, Janek Kozicki (yade) wrote: > They are listed in the pipeline and marked as > success, but inside you only have "Skipping this test, because it's a > WIP merge request." > > Oh! That's why it looks as long as usual but it's faster! I'm sorry, obviously I lost

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Janek Kozicki (yade)
Bruno Chareyre said: (by the date of Mon, 18 May 2020 17:17:08 +0200) > still, compiling with 5 number formats in the minimal build is a bit > overkill maybe. One number format (long double) is compiled in WIP, all the others are all disabled. They are listed in the pipeline and marked as

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Bruno Chareyre
I meant fast like this ;) https://gitlab.com/yade-dev/trunk/pipelines/147230965 B On Mon, 18 May 2020 at 17:17, Bruno Chareyre wrote: > The speed record is because I'm still that idiot trying to debug via > gitlab instead of just playing a 18.04 image locally... > > I see that even for WIP we

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Bruno Chareyre
The speed record is because I'm still that idiot trying to debug via gitlab instead of just playing a 18.04 image locally... I see that even for WIP we are compiling a long list. Four different high-precision formats, for instance. In my case I'm interested in reaching step2 build-doc as fast as

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Janek Kozicki (yade)
Yeah, it looks like you are breaking some speed record here ;) A build below 16 minutes. Almost 10, if you don't look at unnecessary stuff :) Yes, debug is building doc. It is because we had a rare bug caught only by ASAN or debug during doc building and nowhere else. So we decided to keep

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Bruno Chareyre
Thanks. I know the WIP one indeed but I thought 1/ it was not *that* faster, and 2/ it was not building doc. I was wrong on both it seems. :) Also, it seems debug build includes building doc now, do you confirm? Things change fast! (for good :) B On Mon, 18 May 2020 at 14:35, Janek Kozicki (yade)

Re: [Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Janek Kozicki (yade)
Yes, we have a quick pipeline. Add the "WIP: " in front of the title. It is being checked by the build system (searach for WIP in gitlab-ci.yml file :), and some builds are cancelled if they start with WIP: cheers Janek Bruno Chareyre said: (by the date of Mon, 18 May 2020 12:51:33 +0200)

[Yade-dev] Do we have "quick" pipeline on gitlab?

2020-05-18 Thread Bruno Chareyre
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