diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-01-05 13:58:57 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-01-05 14:00:32 -0500 |
| commit | 9b50f78cfcfa30ca24e95ccf720a2bcedb952c13 (patch) | |
| tree | 97337ab17d2b4da51b5ef28923b8e7c58b22b4ff | |
| parent | b84c09d533faf576c406ce9f7163efecf3037787 (diff) | |
| download | haskell-9b50f78cfcfa30ca24e95ccf720a2bcedb952c13.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 |