-
report his actions to his line manager
Have done so.
I've also written to my bosses at length about our need for a structured discussion about racial inequality and education with the aim of wiping out casual racism at work, with links to a few educational resources I think could help. Got a very positive response from one of them so really hope we can get the process started asap.
report his actions to his line manager.
other two options are equally valid.