search

tlaplus / tlapm_alternative_parser_experiment

The rewrite of TLAPM, the TLAPS proof manager
Other
0 stars 0 forks source link

Add .travis.yml #12

Closed gliptak closed 7 years ago

gliptak commented 7 years ago

Signed-off-by: Gábor Lipták gliptak@gmail.com

https://travis-ci.org/gliptak/v2-tlapm/builds/281779750

https://github.com/ocaml/ocaml-ci-scripts/blob/master/README-travis.md

gliptak commented 7 years ago

@quicquid Please review.

quicquid commented 7 years ago

Sorry took me some time. Thanks for the contribution!