[Dune-devel] Update on Docker CI build system

[Oliver Sander]

Hi Simon,

thank you from me as well! This is very helpful.

Best,
Oliver

On 1/18/26 12:44, Christoph Grüninger wrote:
> Hi Simon,
> thanks for taking care and investing so much time!
> 
> It scares me that setting up a simple™ build pipeline requires so much 
> expert level knowledge. I have the same feeling with GitHub Actions and 
> the stuff people do for my projects at work. I am not complaining, maybe 
> it is just me getting older.
> 
> Bye
> Christoph
>