Show Gitpod total processing time in minutes for benchmarking

.gitpod.yml

@@ -3,7 +3,9 @@ image: registry.gitlab.com/gitlab-org/gitlab-development-kit/gitpod-workspace:st
 tasks:
 
   - name: GDK
-    command: gp sync-await gdk-copied && cd /workspace/gitlab-development-kit && gdk help
+    command: |
+      echo START_TIME_IN_SECONDS="$(date +%s)" | tee /workspace/gitpod_start_time.sh
+      gp sync-await gdk-copied && cd /workspace/gitlab-development-kit && gdk help
 
   - init: |
       echo "$(date) – Copying GDK" | tee -a /workspace/startup.log
@@ -35,6 +37,7 @@ tasks:
       (
         set -e
         gp sync-done gdk-copied
+        source /workspace/gitpod_start_time.sh
         SECONDS=0
         cd /workspace/gitlab-development-kit
         # update GDK
@@ -80,6 +83,8 @@ tasks:
         sleep 5
         printf "$(date) – GitLab is up (took ~%.1f minutes)\n" "$((10*$SECONDS/60))e-1" | tee -a /workspace/startup.log
         gp preview $(gp url 3000) || true
+        PREBUILD_LOG=(/workspace/.gitpod/prebuild-log-*)
+        printf "Took %.1f minutes from https://gitlab.com/gitlab-org/gitlab/-/blob/master/.gitpod.yml being executed through to completion %s\n" "$((10*(($(date +%s)-${START_TIME_IN_SECONDS}))/60))e-1" "$([[ -f "$PREBUILD_LOG" ]] && echo "With Prebuilds")"    
       )
 
 ports: