Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/gnu-utils-20211030"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jdk-17.0.1+12"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jedit-20211103"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/scala-2.13.7"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/verit-2021.06.1-rmx"
Unknown JAVA_HOME -- Java unavailable
Getting "https://isabelle.sketis.net/components/gnu-utils-20211030.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/gnu-utils-20211030.tar.gz"
Getting "https://isabelle.sketis.net/components/jdk-17.0.1+12.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jdk-17.0.1+12.tar.gz"
Getting "https://isabelle.sketis.net/components/jedit-20211103.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jedit-20211103.tar.gz"
Getting "https://isabelle.sketis.net/components/scala-2.13.7.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/scala-2.13.7.tar.gz"
Getting "https://isabelle.sketis.net/components/verit-2021.06.1-rmx.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/verit-2021.06.1-rmx.tar.gz"