5 ms·

Is there a preferred CI pipeline for Genode?

• justinclift 1y ago
  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. :)
  • deleted 1y ago
    [deleted]