Skip to content
[Jenkins]Jenkins
log in

Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/pdfjs-2.12.313"
### Missing Isabelle component: "/media/data/jenkins/workspace/findfacts-importer-0.4.4"
Getting "https://isabelle.sketis.net/components/pdfjs-2.12.313.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/pdfjs-2.12.313.tar.gz"
Getting "https://isabelle.sketis.net/components/findfacts-importer-0.4.4.tar.gz"
Failed to download "https://isabelle.sketis.net/components/findfacts-importer-0.4.4.tar.gz"