Skip to content
Blame Permalink
  • Bryan R's avatar
    499c4efe
    CI: Fix and clean up capture of timings · 499c4efe
    Bryan R authored and Marge Bot's avatar Marge Bot committed 
    * Fixes the typo that caused 'cat ci-timings' to report "no such file or
  directory"
* Gave ci_timings.txt a file extension so it may play better with other
  systems
* Fixed the use of time_it so all times are recorded
* Fixed time_it to print name along with timing
    499c4efe
    CI: Fix and clean up capture of timings
    Bryan R authored and Marge Bot's avatar Marge Bot committed 
    * Fixes the typo that caused 'cat ci-timings' to report "no such file or
  directory"
* Gave ci_timings.txt a file extension so it may play better with other
  systems
* Fixed the use of time_it so all times are recorded
* Fixed time_it to print name along with timing