Fix up the github workflow docs