[Dune-devel] website builder

[Ansgar Burchardt]

On Fri, 2022-10-07 at 11:30 +0200, Ansgar Burchardt wrote:
> On Thu, 2022-10-06 at 12:57 +0000, Dedner, Andreas wrote:
> > It should also be fixed, but it looks like the website builder
> > doesn't automatically take the updated image. So someone with
> > access
> > will have to look at this.
> > 
> > I also don't know how to do this - Iast time I tried I couldn't
> > even
> > get the rights to upload the container.
> > If I remember correctly,, Dominic did it at the end.
> 
> If the runner is not configured to automatically pull updated images,
> it has to be done manually which requires shell access as root (ideally
> just running "docker pull ${the-image}" might be enough). I asked
> Santiago, but he didn't have time.

Just "docker pull" didn't work for some reason, but we found a
workaround and it works again. The next scheduled rebuilt should
include updated doxygen documentation again.

Ansgar