Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/e-2.6"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/isabelle_setup-20210922"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jdk-17+35"
Getting "https://isabelle.sketis.net/components/e-2.6.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/e-2.6.tar.gz"
Getting "https://isabelle.sketis.net/components/isabelle_setup-20210922.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/isabelle_setup-20210922.tar.gz"
Getting "https://isabelle.sketis.net/components/jdk-17+35.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jdk-17+35.tar.gz"