Console Output

+ bin/isabelle ghc_setup
Writing implicit global project config file to: /media/data/jenkins/.stack/global-project/stack.yaml
Note: You can change the snapshot via the resolver field there.
Using resolver: lts-16.31 specified on command line
Preparing to install GHC to an isolated location.
This will not interfere with any system-level installation.
Preparing to download ghc-8.8.4 ...
ghc-8.8.4: download has begun
ghc-8.8.4:   40.03 MiB / 197.63 MiB ( 20.26%) downloaded...
ghc-8.8.4:   83.02 MiB / 197.63 MiB ( 42.00%) downloaded...
ghc-8.8.4:  124.50 MiB / 197.63 MiB ( 63.00%) downloaded...
ghc-8.8.4:  167.20 MiB / 197.63 MiB ( 84.60%) downloaded...
ghc-8.8.4:  197.63 MiB / 197.63 MiB (100.00%) downloaded...
Downloaded ghc-8.8.4.
Unpacking GHC into /media/data/jenkins/.stack/programs/x86_64-linux/ghc-8.8.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.8.4