Generation of timing data from CI.

1 job for dune_build in 23 minutes and 17 seconds (queued for 3 minutes and 41 seconds)