Should Gabriel have been sent off for Haaland clash?

BBC Sport4/20/2026sports

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?