5.3 | 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 language server. It also runs static analysis tools and checks if the code is correctly formatted. At the moment, the project doesn't contain any tests. Note, that a Pull Request is only mergeable if this pipeline runs successfully.

Useful resources

• Workflow syntax for GitHub Actions