scaladex icon indicating copy to clipboard operation
scaladex copied to clipboard
verified publisher icon scalacenter

Some failure with badges support

Open adpi2 opened this issue 4 years ago • 0 comments 

2021-12-24 09:42:03,947 ERROR ch.epfl.scala.index.server.Server$:137  - java.util.NoSuchElementException: None.get
        at scala.None$.get(Option.scala:627)
        at scala.None$.get(Option.scala:626)
        at ch.epfl.scala.index.server.BadgesSupport$SummariseLanguageVersions$.versionFor(BadgesSupport.scala:139)

adpi2 avatar Dec 24 '21 09:12 adpi2