[Dune-devel] webpage docu

[Dominic Kempf]

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>
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
> 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/b54c41f6/attachment.htm>