[docs] Set up github pages workflow

First pass at a GitHub Actions workflow to deploy the docs site.
This commit is contained in:
Justin C. Miller
2024-03-07 21:59:06 -08:00
parent 396fc131e0
commit d8a21608c3
3 changed files with 61 additions and 1 deletions

5
docs/requirements.txt Normal file
View File

@@ -0,0 +1,5 @@
cogapp >= 3
pyyaml >= 5.4
lark == 0.12.0
sphinx
renku-sphinx-theme