Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/isabelle_setup-20211109"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/minisat-2.2.1-1"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/polyml-5.9-5d4caa8f7148"
Getting "https://isabelle.sketis.net/components/isabelle_setup-20211109.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/isabelle_setup-20211109.tar.gz"
Getting "https://isabelle.sketis.net/components/minisat-2.2.1-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/minisat-2.2.1-1.tar.gz"
Getting "https://isabelle.sketis.net/components/polyml-5.9-5d4caa8f7148.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/polyml-5.9-5d4caa8f7148.tar.gz"