Commit 5e6d78e4 authored by erwan's avatar erwan

CI: install /usr/bin/time

parent 5228cd05
Pipeline #40172 failed with stages
in 300 minutes and 4 seconds