| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | gitlab-ci: Kill ssh-agent after pushing test metrics | Ben Gamari | 2020-07-26 | 1 | -0/+5 |
| * | 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 |
| * | gitlab-ci: Rename push-test-metrics.sh to test-metrics.sh | Ben Gamari | 2020-01-07 | 1 | -0/+67 |
 |
index : delta/haskell.git | |
| gitlab.haskell.org: ghc/ghc.git |
| summaryrefslogtreecommitdiff |