Project configuration

In your repository, you can add a file named .github/ghci.yaml.

PROJECT-CONFIG.md, you will find the JSON schema with the module configuration on the running server.

Example:

# yaml-language-server: $schema=https://<server>/schema.json

profile: <the wanted profile>

<module>:
  <module_configuration>