Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: add docs build to ci #1582

Merged
merged 11 commits into from
Jun 20, 2022
Merged

chore: add docs build to ci #1582

merged 11 commits into from
Jun 20, 2022

Conversation

sijis
Copy link
Contributor

@sijis sijis commented Jun 20, 2022

Adding docs to build process.

@sijis sijis force-pushed the chore/build_docs branch 2 times, most recently from 7ea5a1d to a7b99f3 Compare June 20, 2022 16:50
@sijis sijis marked this pull request as ready for review June 20, 2022 17:01
@sijis sijis merged commit b39ed96 into errbotio:master Jun 20, 2022
@sijis sijis deleted the chore/build_docs branch June 20, 2022 17:43
sijis added a commit to sijis/errbot that referenced this pull request Jan 1, 2024
* chore: add docs build to ci

* docs: add info to CHANGES

* docs: fix docstring formatting warnings

* docs: fix formatting in administration

* docs: fix formatting in plugin sections

* docs: fix pypi url references

* docs: remove Google+ meta reference

* docs: fix formatting/warnings for plugin dev section

* docs: fix broken links

* docs: use image syntax for screenshots

* fix: add missing doc build deps
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant