Use Travis CI build stages in .travis.yml

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

52 stars 30 forks source link

Use Travis CI build stages in .travis.yml #139

Closed Meijuh closed 7 years ago

Meijuh commented 7 years ago

Travis CI build stages can be used to run jobs within a stage in parallel, and stages in sequence. A useful feature would be to run the tests (make check) in a separate stage.

https://docs.travis-ci.com/user/build-stages.