How many movies have Lin-Manuel Miranda and Robin de Jesús acted in together?

They have worked on 2 movies together! Their first movie together was In the Heights: Chasing Broadway Dreams (2009) and was their highest rated movie together. They have not worked together since tick, tick... BOOM! (2021).