CI: track and expose timing information

Jim Newsomerequested to merge
jnewsome/arti:ci-timing into main
  • Turn on timestamps on each line of output in the CI log.
  • Add and use helper shell functions for splitting job output into collapsible and individually-timed sections.
Edited by Jim Newsome

Merge request reports