Console Output

+ bin/isabelle ghc_setup
Preparing to install GHC to an isolated location.
This will not interfere with any system-level installation.
Preparing to download ghc-8.10.4 ...
ghc-8.10.4: download has begun
ghc-8.10.4:   75.07 MiB / 206.44 MiB ( 36.37%) downloaded...
ghc-8.10.4:  167.25 MiB / 206.44 MiB ( 81.02%) downloaded...
ghc-8.10.4:  206.44 MiB / 206.44 MiB (100.00%) downloaded...
Downloaded ghc-8.10.4.
Unpacking GHC into /media/data/jenkins/.stack/programs/x86_64-linux/ghc-8.10.4.temp/ ...
Configuring GHC ...
Installing GHC ...
Installed GHC.
stack will use a sandboxed GHC it installed
For more information on paths, see 'stack path' and 'stack exec env'
To use this GHC and packages outside of a project, consider using:
stack ghc, stack ghci, stack runghc, or stack exec
The Glorious Glasgow Haskell Compilation System, version 8.10.4