Build API docs

[adomasbaliuka]

One could have auto-generated API docs (looks like this for one of my projects) by

• enabling github-pages for the repository
• adding - uses: leanprover-community/docgen-action@v1 to the CI script .github/workflows/lean.yml
• adding a link to the README such as https://github.com/girving/interval/docs/

Is that worth having? Any downsides?

[girving]

Yes, this seems useful!

[girving]

Are main and /root the right settings for the first step? From https://github.com/girving/interval/settings/pages:

[adomasbaliuka]

You should select "Source = Github Actions", not deploying from a branch.

Note that the "visit site" button in the settings does not work when doing this. The website and link work fine though.

[girving]

I turned it on with Source = Github Actions. Want to send a PR?

[adomasbaliuka]

#28

[adomasbaliuka]

This issue is no longer needed. See the PR.