Skip to content

ci: enable timings output

Alexander Jackson requested to merge alexander-jackson/opl-data:ci/enable-timings-output into main

CI seems to be taking a lot of time (~12 minutes for a PR) so it would be good to try and cut that down, both for faster feedback but also to use less minutes of the allowance.

The largest timesave will likely be the removal of compilation for checker itself, since it rarely changes and thus there's no real need to build it every time. This should save at least 3 minutes (according to the output of cargo), but there seems to be a lot of other time spent.

Would be good to get an output of each of the phases for a PR when doing the checking itself. Locally, my laptop takes ~3 seconds for a full check which is pretty good, but the GitLab CI agents are probably quite a bit slower.

This change:

  • Updates the labels for timings to be more descriptive
  • Enables --timing by default for CI

Merge request reports