search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

Develop ci #8

Closed kfhoech closed 5 years ago

kfhoech commented 5 years ago

Reconfigure Tycho/Maven build and add integration with Travis-CI.

kfhoech commented 5 years ago

Yay! Travis-CI checks pass!

kfhoech commented 5 years ago

I'm going to continue on this branch to add an update site (accumulating released versions) and the product build.