Sadly we don't have bots for these two setups.
Ports https://github.com/mapbox/mapbox-gl-js/pull/4777 (and its several follow-ups)