[Dune-devel] dune-website

[Dominic Kempf]

Hey Andreas,

I think your assessment of the problem is not 100% correct,
dune-testtools's failure is much rather a symptom of the problem than the
actual reason. Changes in dune-common led to MPI being required by default
and the CI website builder does not provide it in its environment. The fact
that this breaks in dune-testtools is rather arbitrary. Which repository is
it you need access to?

Best,
Dominic

PS: For the reference, these are the relevant issues:
dune-common: https://gitlab.dune-project.org/core/dune-common/-/issues/271
ci-website-builder:
https://gitlab.dune-project.org/infrastructure/dune-website/-/issues/97

On Sun, Nov 7, 2021 at 2:04 PM Dedner, Andreas <A.S.Dedner at warwick.ac.uk>
wrote:

> Hi.
> At the moment the website isn't building (for some time already). The
> reason is that dune-testtools was not yet adapted to the new core dune
> (python overhaul). There is already a branch setup and I adapted it to the
> most recent changes (as well as I could - I don't use testtools).
>
> I don't have access rights so I can't push. Could someone give me access
> then I can push and setup the MR.
> 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/20211107/8d01df4d/attachment.htm>