How many movies have Gavin Fernandez 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).