Merge branch 'develop' into _update-deps/runtimeverification/haskell-…

…backend
runtimeverification · Jun 12, 2024 · 31c7d97 · 31c7d97
2 parents 3b18df4 + 5000678
commit 31c7d97
Show file tree

Hide file tree

Showing 7 changed files with 392 additions and 77 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -424,7 +424,7 @@ jobs:
     name: 'Build Pyk Documentation'
     needs: ubuntu-jammy
     runs-on: [self-hosted, linux, normal]
-    timeout-minutes: 10
+    timeout-minutes: 30
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4

diff --git a/pyk/docs/conf.py b/pyk/docs/conf.py
@@ -17,6 +17,7 @@
 
 extensions = [
     'sphinx.ext.autodoc',
+    'sphinx.ext.napoleon',
     'sphinx.ext.viewcode',
 ]
 templates_path = ['_templates']
@@ -26,6 +27,10 @@
 autodoc_inherit_docstrings = False
 viewcode_line_numbers = True
 
+napoleon_google_docstring = True
+napoleon_include_init_with_doc = True
+napoleon_include_special_with_doc = True
+
 # -- Options for HTML output -------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output