search

verivital / hyst

HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models
http://verivital.com/hyst/
Other
15 stars 18 forks source link

Please enable Travis-CI #52

Closed MaxGaukler closed 4 years ago

MaxGaukler commented 5 years ago

@ttj Everything is ready for automatic unit tests with travis-ci.org, you just need to enable it. Please enable it as described here: https://github.com/verivital/hyst/pull/42#issuecomment-458601876 Thanks.

ttj commented 4 years ago

I think I've done this, please let me know of any problems.