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>

You can also get some information on the main server page,

And you also will have some information for each repository on the URL: <server>/project/<owner>/<repository>.