The following pages contain implementation details of various parts of the build infrastructure. They are not of general need, but serve as reference to operate the system.
Further troubleshooting information is privately available in the repository:
- Release process
- Nightly builds
- Testing of Pull Requests (continuous integration)
- Build Logs
- Release publishing