Track commit push time

This should give a good approximation of the time a commit was
submitted for testing. It still breaks down for draft PRs that are
marked non-draft after a while.

ci/build-helpers.sh

@@ -45,6 +45,7 @@ function report_state () {
                 ${NUM_BASE_COMMITS:+"num_base_commits=$NUM_BASE_COMMITS"} \
                 -- "host=\"$(hostname -s)\"" "state=\"$current_state\"" \
                 "prid=\"$PR_NUMBER\"" ${prtime:+prtime=$prtime} ${PR_OK:+prok=$PR_OK} \
+                ${LAST_PUSH_TIME:+push=$LAST_PUSH_TIME} \
                 ${HAVE_JALIEN_TOKEN:+have_jalien_token=$HAVE_JALIEN_TOKEN}
 
   # Push to Google Analytics if configured

ci/continuous-builder.sh

@@ -77,7 +77,7 @@ fi
 run_start_time=$(date +%s)
 if [ -n "$HASHES" ]; then
   # Loop through PRs we can build if there are any.
-  echo "$HASHES" | cat -n | while read -r BUILD_SEQ BUILD_TYPE PR_NUMBER PR_HASH env_name; do
+  echo "$HASHES" | cat -n | while read -r BUILD_SEQ BUILD_TYPE PR_NUMBER PR_HASH env_name LAST_PUSH_TIME; do
     # Run iterations in a subshell so environment variables are not kept across
     # potentially different repos. This is an issue as env files are allowed to
     # define arbitrary variables that other files (or the defaults file) might

list-branch-pr

@@ -259,7 +259,7 @@ def main(args):
         # sorting, so default to the empty string if so.
         for pull in sorted(prs, key=lambda pr: pr["updated_at"] or ""):
             print(group, pull["number"], pull["sha"],
-                  pull["build_config"], sep="\t")
+                  pull["build_config"], pull["updated_at"], sep="\t")
 
     if grouped["untested"]:
         # If there are untested PRs waiting, build all of them first.