Created
December 14, 2023 14:58
-
-
Save JonathanLorimer/5ddc6ea286cde4a052811d54f14cdac1 to your computer and use it in GitHub Desktop.
apalache error
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[error] at sbt.Execute.$anonfun$submit$2(Execute.scala:282) | |
[error] at sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:23) | |
[error] at sbt.Execute.work(Execute.scala:291) | |
[error] at sbt.Execute.$anonfun$submit$1(Execute.scala:282) | |
[error] at sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:265) | |
[error] at sbt.CompletionService$$anon$2.call(CompletionService.scala:64) | |
[error] at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317) | |
[error] at java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:577) | |
[error] at java.base/java.util.concurrent.FutureTask.run(FutureTask.java:317) | |
[error] at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1144) | |
[error] at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:642) | |
[error] at java.base/java.lang.Thread.run(Thread.java:1589) | |
[error] (update) sbt.librarymanagement.ResolveException: Error downloading org.scalameta:sbt-scalafmt;sbtVersion=1.0;scalaVersion=2.12:2.5.2 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/org/scalameta/sbt-scalafmt_2.12_1.0/2.5.2/sbt-scalafmt-2.5.2.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localorg.scalameta/sbt-scalafmt/scala_2.12/sbt_1.0/2.5.2/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/org.scalameta/sbt-scalafmt/scala_2.12/sbt_1.0/2.5.2/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/org.scalameta/sbt-scalafmt/scala_2.12/sbt_1.0/2.5.2/ivys/ivy.xml | |
[error] Error downloading com.thesamet.scalapb:compilerplugin_2.12:0.11.14 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/com/thesamet/scalapb/compilerplugin_2.12/0.11.14/compilerplugin_2.12-0.11.14.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localcom.thesamet.scalapb/compilerplugin_2.12/0.11.14/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/com.thesamet.scalapb/compilerplugin_2.12/0.11.14/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/com.thesamet.scalapb/compilerplugin_2.12/0.11.14/ivys/ivy.xml | |
[error] Error downloading org.apache.commons:commons-lang3:3.8.1 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/org/apache/commons/commons-lang3/3.8.1/commons-lang3-3.8.1.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localorg.apache.commons/commons-lang3/3.8.1/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/org.apache.commons/commons-lang3/3.8.1/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/org.apache.commons/commons-lang3/3.8.1/ivys/ivy.xml | |
[error] Error downloading org.scoverage:sbt-scoverage;sbtVersion=1.0;scalaVersion=2.12:2.0.9 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/org/scoverage/sbt-scoverage_2.12_1.0/2.0.9/sbt-scoverage-2.0.9.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localorg.scoverage/sbt-scoverage/scala_2.12/sbt_1.0/2.0.9/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/org.scoverage/sbt-scoverage/scala_2.12/sbt_1.0/2.0.9/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/org.scoverage/sbt-scoverage/scala_2.12/sbt_1.0/2.0.9/ivys/ivy.xml | |
[error] Error downloading ch.epfl.scala:sbt-scalafix;sbtVersion=1.0;scalaVersion=2.12:0.11.1 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/ch/epfl/scala/sbt-scalafix_2.12_1.0/0.11.1/sbt-scalafix-0.11.1.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localch.epfl.scala/sbt-scalafix/scala_2.12/sbt_1.0/0.11.1/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/ch.epfl.scala/sbt-scalafix/scala_2.12/sbt_1.0/0.11.1/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/ch.epfl.scala/sbt-scalafix/scala_2.12/sbt_1.0/0.11.1/ivys/ivy.xml | |
[error] Error downloading se.marcuslonnberg:sbt-docker;sbtVersion=1.0;scalaVersion=2.12:1.11.0 | |
[error] Not found | |
[error] Not found | |
[error] download error: Caught java.net.UnknownHostException (repo1.maven.org) while downloading https://repo1.maven.org/maven2/se/marcuslonnberg/sbt-docker_2.12_1.0/1.11.0/sbt-docker-1.11.0.pom | |
[error] not found: /build/tmp.kfEkIqjR6Y/project/.ivy/localse.marcuslonnberg/sbt-docker/scala_2.12/sbt_1.0/1.11.0/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.scala-sbt.org) while downloading https://repo.scala-sbt.org/scalasbt/sbt-plugin-releases/se.marcuslonnberg/sbt-docker/scala_2.12/sbt_1.0/1.11.0/ivys/ivy.xml | |
[error] download error: Caught java.net.UnknownHostException (repo.typesafe.com) while downloading https://repo.typesafe.com/typesafe/ivy-releases/se.marcuslonnberg/sbt-docker/scala_2.12/sbt_1.0/1.11.0/ivys/ivy.xml | |
[warn] Project loading failed: (r)etry, (q)uit, (l)ast, or (i)gnore? (default: r) | |
make: *** [Makefile:71: dist] Error 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment