Developer GuideΒΆ

This section aims at gathering information useful to the developer.

In particular, the local build scenarios as well as CI testing will be discussed here.