5.0 | CI pipeline

The project uses GitHub Actions for the CI pipeline.

CI pipeline

The CI pipeline is defined in the .github/workflows/build.yml file, and it runs when someone creates (or updates) a Pull Request. The pipeline builds the extension. Note, that a Pull Request is only mergeable if this pipeline runs successfully.

Useful resources

• Workflow syntax for GitHub Actions