Website changes not publishing

[SethTisue]

@fsalvi I merged #1288 about 3 hours ago, but it hasn't shown up on the site

Normally I would visit https://scala-webapps.epfl.ch/jenkins/ to troubleshoot, but that URL won't load. Did something change on the server?

[SethTisue]

https://github.com/scala/docs.scala-lang seems to be affected as well. Over there, I merged scala/docs.scala-lang#2214 but the changes aren't visible at e.g. https://docs.scala-lang.org/overviews/jdk-compatibility/overview.html

[fsalvi]

I had a problem with jenkins. It should be fixed now.

[SethTisue]

Indeed! Thank you!