diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2019-01-26 16:59:32 +0000 |
|---|---|---|
| committer | Edward Thomson <ethomson@edwardthomson.com> | 2019-01-26 17:03:06 +0000 |
| commit | ace20c6a88e4a7b3347cdbc96d6d5d99b197bebf (patch) | |
| tree | e546350b7df7ae2478fd12941fa7db1da97d9b3d /include/git2 | |
| parent | 826d9a4de88b4b31b21b7fd7fde934b318b24341 (diff) | |
| download | libgit2-ace20c6a88e4a7b3347cdbc96d6d5d99b197bebf.tar.gz | |
ci: run docurium to create documentationethomson/ci_docurium
Run docurium as part of the build. The goal of this is to be able to
evaluate the documentation in a given pull request; as such, this does
not implement any sort of deployment pipeline.
This will allow us to download a snapshot of the documentation from the
CI build and evaluate the docs for a particular pull request; before
it's been merged.
Diffstat (limited to 'include/git2')
0 files changed, 0 insertions, 0 deletions