search

scala / scala3

The Scala 3 compiler, also known as Dotty.
https://dotty.epfl.ch
Apache License 2.0
5.88k stars 1.06k forks source link

Nightly Dotty workflow of 2023-07-02 failed #18114

Closed github-actions[bot] closed 1 year ago

github-actions[bot] commented 1 year ago

See https://github.com/lampepfl/dotty/actions/runs/5434430860

dwijnand commented 1 year ago

java8 failure:

Error:  Caused by: java.util.NoSuchElementException: key not found: (com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer@313045f2,Syntax)
Error:      at scala.collection.MapOps.default(Map.scala:274)
Error:      at scala.collection.MapOps.default$(Map.scala:273)
Error:      at scala.collection.AbstractMap.default(Map.scala:405)
Error:      at scala.collection.mutable.HashMap.apply(HashMap.scala:425)
Error:      at dotty.tools.scaladoc.tasty.comments.markdown.SectionRenderingExtension$SectionHandler$.render(SectionRenderingExtension.scala:36)
Error:      at dotty.tools.scaladoc.tasty.comments.markdown.SectionRenderingExtension$SectionHandler$.render(SectionRenderingExtension.scala:32)
Error:      at com.vladsch.flexmark.html.renderer.NodeRenderingHandler.render(NodeRenderingHandler.java:16)
Error:      at com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer.renderNode(HtmlRenderer.java:779)
Error:      at com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer.renderChildrenNode(HtmlRenderer.java:798)
Error:      at com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer.renderChildren(HtmlRenderer.java:790)
Error:      at com.vladsch.flexmark.html.renderer.CoreNodeRenderer.render(CoreNodeRenderer.java:113)
Error:      at com.vladsch.flexmark.html.renderer.NodeRenderingHandler.render(NodeRenderingHandler.java:16)
Error:      at com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer.renderNode(HtmlRenderer.java:761)
Error:      at com.vladsch.flexmark.html.HtmlRenderer$MainNodeRenderer.render(HtmlRenderer.java:683)
Error:      at com.vladsch.flexmark.html.HtmlRenderer.render(HtmlRenderer.java:213)
Error:      at com.vladsch.flexmark.html.HtmlRenderer.render(HtmlRenderer.java:197)
Error:      at com.vladsch.flexmark.html.HtmlRenderer.render(HtmlRenderer.java:230)
Error:      at dotty.tools.scaladoc.site.TemplateFile.resolveInner(templates.scala:128)
Error:      at dotty.tools.scaladoc.site.LoadedTemplate.resolveToHtml(LoadedTemplate.scala:54)
Error:      at dotty.tools.scaladoc.renderers.ResolvedTemplate.<init>(SiteRenderer.scala:18)
Error:      at dotty.tools.scaladoc.renderers.ResolvedTemplate$.apply(SiteRenderer.scala:17)
Error:      at dotty.tools.scaladoc.renderers.SiteRenderer.templateToPage(SiteRenderer.scala:25)
Error:      at dotty.tools.scaladoc.renderers.SiteRenderer.templateToPage$(SiteRenderer.scala:21)
Error:      at dotty.tools.scaladoc.renderers.Renderer.templateToPage(Renderer.scala:20)
Error:      at dotty.tools.scaladoc.renderers.SiteRenderer.templateToPage$$anonfun$1(SiteRenderer.scala:26)
Kordyjan commented 1 year ago

Same error as in https://github.com/lampepfl/dotty/issues/18070.

Last time it went away after a day.

Kordyjan commented 1 year ago

Restart helped.