Install time

10 jobs for !13 with time in 117 minutes and 57 seconds (queued for 2 seconds)
merge request