Hi,
It seems travis-ci.org is finally shutting down today. I was trying to migrate to travis-ci.com a few days ago but didn't quite manage it, I'm not quite sure what needs to be done. Anybody has an idea if that is a viable option? Regards, Jiri
_______________________________________________ HelenOS-devel mailing list [email protected] http://lists.modry.cz/listinfo/helenos-devel
