Developer Guide

This section contains information for code contributors.

CI Pipeline simulation

Before pushing, you can check whether the CI pipeline should pass as follows:

make ci

This runs the following stages:

Lint

Test

Docs build with all warnings treated as errors