How many movies have Allen O'Locklin and Cedric Gibbons collaborated on?

They have worked on 3 movies together! Their first movie together was Mystery Street (1950) while their highest rated movie together was An American in Paris (1951). They have not worked together since The Red Badge of Courage (1951).