diff options
| author | David Eichmann <EichmannD@gmail.com> | 2019-10-07 11:05:00 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-10-22 02:07:48 -0400 |
| commit | 8ea316da1dec77f20c742215874f8884b6e20558 (patch) | |
| tree | cf4f8c5c4e152ac6d3568e5a2a4e84f65cee7a7c /testsuite/driver/testglobals.py | |
| parent | 4b431f334018eaef2cf36de3316025c68c922915 (diff) | |
| download | haskell-8ea316da1dec77f20c742215874f8884b6e20558.tar.gz | |
CI: Always dump performance metrics.
Diffstat (limited to 'testsuite/driver/testglobals.py')
| -rw-r--r-- | testsuite/driver/testglobals.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/driver/testglobals.py b/testsuite/driver/testglobals.py index 9895cd3a61..c39ca7a8c9 100644 --- a/testsuite/driver/testglobals.py +++ b/testsuite/driver/testglobals.py @@ -4,7 +4,7 @@ from my_typing import * from pathlib import Path -from perf_notes import MetricChange, PerfStat +from perf_notes import MetricChange, PerfStat, Baseline, MetricOracles from datetime import datetime # ----------------------------------------------------------------------------- @@ -243,7 +243,7 @@ class TestRun: # [(change, PerfStat)] where change is one of the MetricChange # constants: NewMetric, NoChange, Increase, Decrease. # NewMetric happens when the previous git commit has no metric recorded. - self.metrics = [] # type: List[Tuple[MetricChange, PerfStat]] + self.metrics = [] # type: List[Tuple[MetricChange, PerfStat, Optional[Baseline]]] global t t = TestRun() |