Should Gabriel have been sent off for Haaland clash?

Gabriel pushed his head towards Erling Haaland's face yet escaped with only a booking. Why did the VAR not intervene for a red card?