There was an error while loading. Please reload this page.
In your repository, you can add a file named .github/ghci.yaml.
.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 related to the installed modules on the main server page.
And you also will have some information for each repository on the URL: <server>/project/<owner>/<repository>.
<server>/project/<owner>/<repository>
If branches other than the default one are in production, you should add a SECURITY.md file.
This application is made to work well with: