00:16 <rjo> mithro: awake?

00:26 <rjo> mithro: about your hdmi2usb autobuilder with travis-ci: would you recommend that solution? did you investigate having travis-ci provide a xilinx environment?

01:03 <mithro> rjo: we just use Travis as the trigger, it actually does the build on another machine

01:04 <mithro> Travis doesn't have enough disk space for ISE to be installed.

01:04 <mithro> I'm working on a better solution at the moment

01:15 <rjo> yeah i had a look at your setup and am considering doing it similarly. what is the new idea?

01:37 <mithro> rjo: we have a two things, ISE in a docker image and a very cute back ISE which is under a gig and includes only the cmd line tools.

01:39 <mithro> The current machine is in my house, so I'd also like to get it working in the cloud

01:40 <mithro> If your around in a couple of hours, I'm free to chat more, just heading out now.

06:20 <rjo> that 1GB ISE would be a blessing.