Merge pull request #482 from wikimedia/upstream/midi-duration #291

Job	Run time
Static Analysis	1m 2s
Lint (5.6, false)	32s
Lint (7.3, false)	12s
Lint (8.0, false)	20s
Lint (8.4, false)	13s
Lint (7.4, false)	15s
Lint (5.3, false)	35s
Lint (7.1, false)	14s
Lint (5.5, false)	35s
Lint (8.1, false)	13s
Lint (7.2, false)	13s
Lint (8.2, false)	11s
Lint (7.0, false)	30s
Lint (8.3, false)	11s
Lint (8.5, true, --ignore-platform-reqs)	12s
Lint (5.4, false)	32s
	6m 0s

Provide feedback