diff options
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 82144f0896..8debc376cf 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -286,11 +286,14 @@ hadrian-ghc-in-ghci: - "echo $SHELL" - which autoreconf - whoami + - env - pwd - /bin/ls - sleep 5 - /bin/ls + - date - "ls toolchain" + - date - .gitlab/ci.sh setup - .gitlab/ci.sh configure - .gitlab/ci.sh build_make |