Your ROOT_URL in app.ini is http://repo.redraion.com/ but you are visiting http://jenkins.stormindgames.com/automatic-hoover6809/isabelle2022/stars You should set ROOT_URL correctly, otherwise the web may not work correctly.

Stargazers