| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | gitlab-ci: Fix perf metric pushing | Ben Gamari | 2021-01-22 | 1 | -1/+1 |
| | | | | | | | Previously we would inexplicably append the key to id_rsa. Fixes #19225. | ||||
| * | gitlab-ci: Kill ssh-agent after pushing test metrics | Ben Gamari | 2020-07-26 | 1 | -0/+5 |
| | | | | | | Otherwise the Windows builds hang forever waiting for the process to terminate. | ||||
| * | Update ssh keys in CI performance metrics upload script | David Eichmann | 2020-06-30 | 1 | -2/+3 |
| | | |||||
| * | gitlab-ci: Pull test metrics before running testsuite | Ben Gamari | 2020-01-07 | 1 | -48/+70 |
| | | | | | | Otherwise the testsuite driver may not have an up-to-date baseline. | ||||
| * | gitlab-ci: Rename push-test-metrics.sh to test-metrics.sh | Ben Gamari | 2020-01-07 | 1 | -0/+67 |
| Refactoring to follow. | |||||
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |