@kit-ty-kate At which rate are the results regenerated ? Also indicating the state of the
opam-repository(e.g. git hash) you used to make the results would be nice.
The server is now up and running again. The results are generated every other day and a link to the git hash is now displayed on the right-hand side.