Add CI

Question 1

Add a CI like:

Which one do you prefer ?

Question 2

We already have CircleCI configured so I would vote we stick with that 👍

Alan Friedman · Answer · Mon May 04 2020 00:46:08 GMT+0800 (China Standard Time)

We already have CircleCI configured so I would vote we stick with that 👍

Question 3

Oh right ! I didn't see it 🙄

Jérémie Pardou · Answer · Mon May 04 2020 01:57:21 GMT+0800 (China Standard Time)

Oh right ! I didn't see it 🙄