A small group of hospital workers were fighting their employer’s vaccine mandate.