Continuous Integration

CI is done using GitHub Actions and external services. It follows the following steps:

• code quality

• tests

• documentation build and deployment

• packaging

The CI is triggered on every push and pull request.

The code quality (and coverage) are using Coveralls.io and pre-commit.ci.

The linter Action can be run locally:

make lint