| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Propagate failure if unable to push notes | Bryan Richter | 2023-02-23 | 1 | -0/+4 |
| * | ci/test-metrics: Clean up various bash quoting issues | Ben Gamari | 2021-10-03 | 1 | -6/+6 |
| * | ci: Use https:// transport and access token to push perf notes | Ben Gamari | 2021-10-03 | 1 | -29/+9 |
| * | gitlab-ci: Don't rely on $HOME when pushing test metrics | Ben Gamari | 2021-09-24 | 1 | -8/+8 |
| * | gitlab-ci: Fix perf metric pushing | Ben Gamari | 2021-01-22 | 1 | -1/+1 |
| * | 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 |