gitlab-ci: Add LLVM way
[ghc.git] / .circleci / push-test-metrics.sh
2018-11-12  Ben Gamaricircleci: Disable pushing of test metrics if not valida...
2018-11-07  David Eichmanntestsuite: Save performance metrics in git notes.