Add job summary

.github/build-and-test

@@ -90,13 +90,36 @@ run_command() {
     echo '::endgroup::'
 }
 
+write_summary() {
+    if [ -v GITHUB_STEP_SUMMARY ]; then
+        echo "$@" >> "$GITHUB_STEP_SUMMARY"
+    fi
+}
+
 for dir in "${build_dirs[@]}"; do
     # bazel test //... fails in modules that don't define any test targets, use
     # bazel build in those instead. Workaround for
     # https://github.com/bazelbuild/bazel/issues/7291#issuecomment-1283970438
     run_command build $dir
 done
 
+write_summary '### Test results'
+write_summary '| Test | Result | Elapsed Time |'
+write_summary '| ---- | :----: | ------------ |'
+
+declare start elapsed failed
 for dir in "${test_dirs[@]}"; do
+    start=$EPOCHSECONDS
+    failed=${FAILURES[#]}
     run_command test $dir
+    elapsed=$(( EPOCHSECONDS - start ))
+    if [[ "$failed" < "${FAILURES[#]}" ]]; then
+        write_summary "| $dir | Pass :red_circle:       | $( TZ=UTC0 printf '%(%H:%M:%S)T' $elapsed ) |"
+    else
+        write_summary "| $dir | Fail :white_check_mark: | $( TZ=UTC0 printf '%(%H:%M:%S)T' $elapsed ) |"
+    fi
 done
+
+# Local Variables:
+# mode: sh
+# End: