Commit 67fa535b authored by Björn Lindström's avatar Björn Lindström

Merge branch 'ci-change' into 'master'

Print time information for the build.py run

See merge request !2
parents 314cb533 9d61333f
Pipeline #87045854 passed with stage
in 1 minute and 11 seconds