[Dune-devel] CI based on Debian 13?

[Oliver Sander]

Hi Markus, hi all,

> Any volunteers with enough knowledge for that?

I once wrote down Simon's explanation on how to do this. It's currently 
a merge request at

   https://gitlab.dune-project.org/docker/ci/-/merge_requests/162

So the knowledge is essentially available.

Best,
Oliver

> 
> Best,
> 
> Markus
> 
> _______________________________________________
> Dune-devel mailing list
> Dune-devel at lists.dune-project.org
> https://lists.dune-project.org/mailman/listinfo/dune-devel