[gsoc] CI for repos at github.com/BoostGSoC19

From: Mateusz Loskot (mateusz_at_[hidden])
Date: 2019-05-29 21:12:27

Hi Stefan,

I've just realised there are no CI builds set up for the Miral's and Olazha's
repos. What is the plan? Do we want to set the CI builds?

Best regards,
-- 
Mateusz Loskot, http://mateusz.loskot.net
Fingerprint=C081 EA1B 4AFB 7C19 38BA  9C88 928D 7C2A BB2A C1F2