Question: Who produced an animated adventure film about racing that was released alongside a short film written and directed by Dave Mullins?
Sentence (from "Cars 3"): Cars 3 is a 2017 American 3D computer-animated auto racing sports comedy adventure film produced by Pixar and released by Walt Disney Pictures.
Relevant evidence: Yes