Yevamos 78: Shaul and the Giv'onim

Why wasn't there a punishment for Shaul's killing of Nov, the city of the Kohanim?