Gravel is a construction labor marketplace based in Jakarta, Indonesia.