Re: [racket-dev] Continuous Integration update and future

2019-11-14 Thread Matthias Felleisen
> On Nov 14, 2019, at 3:05 AM, Paulo Matos wrote: Let me echo Robby with 1000*thanks :) > > 4. Builds once again all the variants with the llvm static analyser and > keeps a record of the failures (for example: >

Re: [racket-dev] Continuous Integration update and future

2019-11-14 Thread Robby Findler
I think it is wonderful that you're doing this. Thank you! Robby On Thu, Nov 14, 2019 at 2:50 AM Paulo Matos wrote: > > > Paulo Matos writes: > > > Summary: We currently have 5 CI systems: Travis, Azure, Gitlab, AppVeyor, > > and DrDr. I explain what I have done so far in Gitlab and propose > >

Re: [racket-dev] Continuous Integration update and future

2019-11-14 Thread Paulo Matos
Paulo Matos writes: > Summary: We currently have 5 CI systems: Travis, Azure, Gitlab, AppVeyor, > and DrDr. I explain what I have done so far in Gitlab and propose > unifying this into a single solution in the future. Request concerns, > suggestions and comments. > Also - Racket would be IMO a