search

leanprover-community / lean-client-python

Python talking to the Lean theorem prover
Apache License 2.0
39 stars 6 forks source link

Continuous integration #12

Open jasonrute opened 4 years ago

jasonrute commented 4 years ago

Now that we have a testing framework, #3, we should turn on continuous integration. Any objections?

PatrickMassot commented 4 years ago

Of course there should be CI as soon as the testing framework is merged.

jasonrute commented 4 years ago

Do you mind if I take a stab at setting it up? I'd like to understand how this stuff works better.

PatrickMassot commented 4 years ago

Of course I don't mind!