Skip to content
GitLab
Explore
Sign in
Register
Dylan Yudaken
GHC
Repository
ghc
.gitlab
test-metrics.sh
Find file
Blame
History
Permalink
gitlab-ci: Rename push-test-metrics.sh to test-metrics.sh
· 48ef6217
Ben Gamari
authored
Jan 05, 2020
and
Marge Bot
committed
Jan 07, 2020
Refactoring to follow.
48ef6217