ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT
BSD 2-Clause "Simplified" License
49 stars 8 forks source link

Trigger CI Builds in hermit-shell #149

Open xich opened 9 years ago

xich commented 9 years ago

hermit-shell is often broken by HERMIT changes. It would be nice to run the travis CI build for it whenever there is a push to this repo, so someone is notified.

Looks like we can adapt the method here:

http://eng.rightscale.com/2015/04/27/dependent-builds-in-travis.html

(I say adapt, because we'll want to change to make use of travis encryption to not have auth info in plaintext. I've done this before, but it'll take some testing.)

Related to ku-fpg/hermit-shell#38