This currently has a custom github action that predates hhvm/actions; this means things need fixing twice.
This currently has a custom github action that predates hhvm/actions; this means things need fixing twice.