Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
taylorfausak
GHC
Commits
8127520e
Commit
8127520e
authored
Sep 27, 2021
by
Ben Gamari
🐢
Browse files
gitlab-ci: Ensure that temporary home exists
parent
4b7ba3ae
Changes
1
Hide whitespace changes
Inline
Side-by-side
.gitlab/ci.sh
View file @
8127520e
...
@@ -427,8 +427,9 @@ function push_perf_notes() {
...
@@ -427,8 +427,9 @@ function push_perf_notes() {
# N.B. $HOME may be unset (e.g. is HERMETIC is set) yet test-metrics.sh
# N.B. $HOME may be unset (e.g. is HERMETIC is set) yet test-metrics.sh
# relies on it for SSH configuration. Provide a temporary $HOME instead.
# relies on it for SSH configuration. Provide a temporary $HOME instead.
TMP_HOME
=
"
$(
pwd
)
/.home"
TMP_HOME
=
"
$(
pwd
)
/.home"
mkdir
-p
"
$TMP_HOME
"
HOME
=
"
$TMP_HOME
"
"
$TOP
/.gitlab/test-metrics.sh"
push
HOME
=
"
$TMP_HOME
"
"
$TOP
/.gitlab/test-metrics.sh"
push
rm
-R
"
$TMP_HOME
"
rm
-R
f
"
$TMP_HOME
"
}
}
# Figure out which commit should be used by the testsuite driver as a
# Figure out which commit should be used by the testsuite driver as a
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment