Merge branch 'ci-change' into 'master'

Print time information for the build.py run

See merge request !2
1 job for master in 1 minute and 11 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #313704920
build:pages

00:01:11