I mean it wasn't entirely significant, but I would still personally edge towards reporting it. - At least being under the assumption that this was not a solicited joke or something leaning to banter

When people get away with too much, they get brazen about their behaviour until it really does step out of line. So at the very least, a warning will keep their personality in check.