[Dune-devel] webpage docu

[Dedner, Andreas]

Hi Dominic.
Thanks for pointing that out - I did read about the docker registry in the readme for ciwebsitebuilder but
didn't really understand what it was needed for. I'll follow the instructions there.

Out of interest: do you remember why the git repo can't be simply cloned when building the website?
Gruss
Andreas
________________________________
From: Dominic Kempf <dominic.r.kempf at gmail.com>
Sent: 01 July 2022 09:53
To: Dedner, Andreas <A.S.Dedner at warwick.ac.uk>
Cc: dune-devel at lists.dune-project.org <dune-devel at lists.dune-project.org>
Subject: Re: [Dune-devel] webpage docu

Hallo Andreas,

wenn ich mich recht erinnere arbeitet die CI nicht mit dem Repo, sondern mit einem Docker Image, das aus dem Repository gebaut wird. Dieses Image wird in der lokalen Registry des Projekts gespeichert und muss meines Wissens manuell gepusht werden. Siehe hier: https://gitlab.dune-project.org/infrastructure/ci-website-builder/container_registry/13

Grüße,
Dominic

On Fri, Jul 1, 2022 at 10:37 AM Dedner, Andreas <A.S.Dedner at warwick.ac.uk<mailto:A.S.Dedner at warwick.ac.uk>> wrote:
Hi.
The nightly build of the documentation (both doxygen and sphinx) hasn't completed for about 3 weeks.
Some change made for the beginner's guide seems to have caused some problem. It's related to ciwebsitebuilder
trying to clone dune-grid-howto but not knowing the gitlab url. I added the address to the ci-website-builder repo.
That solved the issue for me locally but the pipeline for the website still fails.

Does anyone have an idea on how to fix this?

Hope everyone is well
Andreas
_______________________________________________
Dune-devel mailing list
Dune-devel at lists.dune-project.org<mailto:Dune-devel at lists.dune-project.org>
https://lists.dune-project.org/mailman/listinfo/dune-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune-devel/attachments/20220701/ef921c42/attachment-0001.htm>