[Dune-devel] webpage docu

[Dedner, Andreas]

Hi.
I can't manage to push the new image to the ci website builder
I tried with both a repo and a personal token (with all permissions) and in both cases get:

```
docker push registry.dune-project.org/infrastructure/ci-website-builder
The push refers to repository [registry.dune-project.org/infrastructure/ci-website-builder]
f03669fdfd0c: Layer already exists
8ff5baaa5a70: Layer already exists
fda7af713edc: Pushing  8.474GB
e66ee35ff5be: Layer already exists
5208752beeb5: Layer already exists
unauthorized: authentication required
```

The registry also does not show an updated image.

Could someone else try or perhaps has someone an idea what the issue might be?
Best wishes
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/20220704/d5f6278c/attachment.htm>