CCI-MOC / hil

Hardware Isolation Layer, formerly Hardware as a Service
Apache License 2.0
24 stars 54 forks source link

Download obmd binary rather than installing it everytime the CI is run #1019

Closed naved001 closed 6 years ago

naved001 commented 6 years ago

See https://github.com/CCI-MOC/obmd/issues/21

zenhack commented 6 years ago

Holy crap, Travis hasn't been that fast in forever. LGTM, merging.