[fgbarben]

Is there a preferred CI pipeline for Genode?

[justinclift]

Oh, that's an interesting idea that could unlock a bunch of potential use cases.

If it's fairly easy to get working as part of a CI pipeline, that would let people and projects automate building their software for it. That'd be super useful for enabling adoption. :)