He didn’t really. Another actor addressed Pence, and it was more of an inappropriately-timed encouragement to represent certain groups than it was an attack.
He did. Really.
https://www.mediaite.com/online/hamiltons-lin-manuel-miranda-doesnt-like-mike-pence-but-sure-loves-convicted-terrorists/
C’mon Theo......they Boooed Pence