Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/flatlaf-1.6.4"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/polyml-5.9"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/verit-2021.06.2-rmx"
Getting "https://isabelle.sketis.net/components/flatlaf-1.6.4.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/flatlaf-1.6.4.tar.gz"
Getting "https://isabelle.sketis.net/components/polyml-5.9.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/polyml-5.9.tar.gz"
Getting "https://isabelle.sketis.net/components/verit-2021.06.2-rmx.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/verit-2021.06.2-rmx.tar.gz"