Performance tests: recover a baseline from ancestor commits and CI results.
authorDavid Eichmann <EichmannD@gmail.com>
Tue, 22 Jan 2019 14:57:23 +0000 (09:57 -0500)
committerBen Gamari <ben@smart-cactus.org>
Wed, 30 Jan 2019 15:06:31 +0000 (10:06 -0500)
commitcc2261d42f6a954d88e355aaad41f001f65c95da
treec555df5cf2a443ff4103152d9df561da6a6cce72
parent513a449c9dd10887d6dc757d55286749b2594b09
Performance tests: recover a baseline from ancestor commits and CI results.

gitlab-ci: push performance metrics as git notes to the "GHC Performance Notes" repository.
.gitlab-ci.yml
.gitlab/push-test-metrics.sh [new file with mode: 0755]
testsuite/driver/perf_notes.py
testsuite/driver/runtests.py
testsuite/driver/testglobals.py
testsuite/driver/testlib.py
testsuite/driver/testutil.py