Skip to content
GitLab
Explore
Sign in
Register
taylorfausak
GHC
Repository
ghc
.gitlab
test-metrics.sh
Find file
Blame
History
Permalink
gitlab-ci: Don't rely on $HOME when pushing test metrics
· 4b7ba3ae
Ben Gamari
authored
Sep 24, 2021
As of
cbfc0e93
we set $HOME to a non-existent directory to ensure hermeticity.
4b7ba3ae