Feature #2283 include times

.github/jobs/docker_utils.py

@@ -131,13 +131,13 @@ def run_commands(commands):
             error_message = f"ERROR: Command failed -- {err}"
             is_ok = False
 
+        print("::endgroup::")
+
         end_time = time.time()
         print("TIMING: Command took "
               f"{time.strftime('%M:%S', time.gmtime(end_time - start_time))}"
               f" (MM:SS): '{command}')")
 
-        print("::endgroup::")
-
         if error_message:
             print(error_message)
 

.github/workflows/testing.yml

@@ -60,6 +60,9 @@ jobs:
         env:
           GITHUB_CONTEXT: ${{ toJson(github) }}
         run: echo "$GITHUB_CONTEXT"
+      - name: Build URL for commit that triggered workflow
+        if: github.event_name == 'workflow_dispatch'
+        run: echo https://github.com/${{ github.event.inputs.repository }}/commit/${{ github.event.inputs.sha }}
 
   job_control:
     name: Determine which jobs to run