How many movies have Lin-Manuel Miranda and Mauro Castillo acted in together?

They have worked on 2 movies together! Their first movie together was Encanto (2021) and was their highest rated movie together. They have not worked together since Encanto at the Hollywood Bowl (2022).