search

githwxi / ATS-Xanadu

Bootstrapping ATS3
GNU General Public License v3.0
196 stars 14 forks source link

Setup CI #1

Closed ashalkhakov closed 6 years ago

ashalkhakov commented 6 years ago

I thinks this merits attention.

How do we setup CI such that all tests run on every commit?

githwxi commented 6 years ago

Hi Artyom,

I haven't got to CI setup yet. Will certainly do this after making more progress.

githwxi commented 6 years ago

Hi Artyom,

Have you had time to look into the issue? If you could set it up, that would be great!

ashalkhakov commented 6 years ago

Hi Hongwei,

Yes, I'll look into this issue on the weekend!

ashalkhakov commented 6 years ago

Could you please assign me? Or actually, I think you should really move this repository to an organization and assign some team members.

githwxi commented 6 years ago

Yes, an organization is planned later for ATS/Xanadu.

ATS3 is still an idea and there is likely a lot of experimentation needed. At the first stage, I would like to provide other developers with a library (libatsxopt) (if they use ATS2) and some ways to generate JSON for various internal abstract syntax trees (if they use other languages for their implementation).

ashalkhakov commented 6 years ago

I think this issue can be considered done with. I'll add a separate issue about packaging releases.