How many movies have Bernard Telsey and Luis A. Miranda Jr. collaborated on?

They have worked on 2 movies together! Their first movie together was In the Heights (2021) while their highest rated movie together was tick, tick... BOOM! (2021). They have not worked together since tick, tick... BOOM! (2021).