<div dir="ltr"><div>Hallo Andreas,</div><div><br></div><div>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: <a href="https://gitlab.dune-project.org/infrastructure/ci-website-builder/container_registry/13">https://gitlab.dune-project.org/infrastructure/ci-website-builder/container_registry/13</a></div><div><br></div><div>Grüße,</div><div>Dominic<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jul 1, 2022 at 10:37 AM Dedner, Andreas <<a href="mailto:A.S.Dedner@warwick.ac.uk">A.S.Dedner@warwick.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">




<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
Hi.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
The nightly build of the documentation (both doxygen and sphinx) hasn't completed for about 3 weeks.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
Some change made for the beginner's guide seems to have caused some problem. It's related to ciwebsitebuilder</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
trying to clone dune-grid-howto but not knowing the gitlab url. I added the address to the ci-website-builder repo.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
That solved the issue for me locally but the pipeline for the website still fails.</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
Does anyone have an idea on how to fix this?</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
Hope everyone is well<br>
</div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
Andreas<br>
</div>
</div>

_______________________________________________<br>
Dune-devel mailing list<br>
<a href="mailto:Dune-devel@lists.dune-project.org" target="_blank">Dune-devel@lists.dune-project.org</a><br>
<a href="https://lists.dune-project.org/mailman/listinfo/dune-devel" rel="noreferrer" target="_blank">https://lists.dune-project.org/mailman/listinfo/dune-devel</a><br>
</blockquote></div>