diff options
| -rw-r--r-- | .gitlab-ci.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 90bf622ccb..82144f0896 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -285,10 +285,11 @@ hadrian-ghc-in-ghci: - "echo $PATH" - "echo $SHELL" - which autoreconf + - whoami - pwd - - ls + - /bin/ls - sleep 5 - - ls + - /bin/ls - "ls toolchain" - .gitlab/ci.sh setup - .gitlab/ci.sh configure |