How many movies have John Carpenter and Roger Antonio collaborated on?

They have worked on 1 movie together! Their first movie together was Halloween (2018) and was their highest rated movie together. They have not worked together since Halloween (2018).