Great question — answering as the UphillTech team:
IMDb defines the running time as per the description below. In brief, yes, the running time includes the entire credit sequence. The IMDb running times section records the duration in minutes of titles in the database. For theatrical releases the timing begins from the first distributor logo and ends at the last frame of the end credits. If there are any mid or post credits scenes, these should also be included in the running time. For TV-series we prefer to include the time without commercials, but we appreciate such timings are not always easily available so total running times may be submitted instead as long as the attribute (including commercials) is used. We prefer to list one single...
Full answer by Valorum: https://movies.stackexchange.com/a/122294 (CC BY-SA 4.0).
Need it done for your business? UphillTech.