I wonder if it's getting killed in the stupid master merge that github does before triggering the CI