A ban would only be necessary if the player ignored a warning from an admin and continued to spam after a subsequent mute has passed.