Skip to content
[Jenkins]Jenkins
log in

Console Output

+ isabelle/bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jdk-15.0.2+7"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/scala-2.13.4-1"
Getting "https://isabelle.sketis.net/components/jdk-15.0.2+7.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jdk-15.0.2+7.tar.gz"
Getting "https://isabelle.sketis.net/components/scala-2.13.4-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/scala-2.13.4-1.tar.gz"