diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-01-05 13:58:57 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-01-07 13:13:39 -0500 |
| commit | 48ef62175d4e65d3248f2e743750ec2f4d421f3a (patch) | |
| tree | 52b5e16d1491d5d34fb2b3b42dc746bd9e5861f3 | |
| parent | e35fe8d58f18bd179efdc848c617dc9eddf4478b (diff) | |
| download | haskell-48ef62175d4e65d3248f2e743750ec2f4d421f3a.tar.gz | |
gitlab-ci: Rename push-test-metrics.sh to test-metrics.sh
Refactoring to follow.
| -rwxr-xr-x | .gitlab/test-metrics.sh (renamed from .gitlab/push-test-metrics.sh) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.gitlab/push-test-metrics.sh b/.gitlab/test-metrics.sh index 302587721f..302587721f 100755 --- a/.gitlab/push-test-metrics.sh +++ b/.gitlab/test-metrics.sh |