diff options
| author |  Johannes Christ <[email protected]> | 2024-07-29 19:22:36 +0200 |
|---|---|---|
| committer | Johannes Christ <[email protected]> | 2024-07-30 19:50:01 +0200 |
| commit | 1ac643103ea4ca630ef27d32ca5fae54c12dd693 (patch) | |
| tree | e2f4d0270d2092a712597510b0c2ea6e84d25e02 /.github | |
| parent | Clean up some wording and formatting issues (diff) | |
Use fork with up-to-date Sphinx version
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/lint-docs.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/lint-docs.yaml b/.github/workflows/lint-docs.yaml index 5b8e978..77d5457 100644 --- a/.github/workflows/lint-docs.yaml +++ b/.github/workflows/lint-docs.yaml @@ -10,6 +10,6 @@ jobs: with: submodules: recursive fetch-depth: 0 - - uses: ammaraskar/sphinx-action@master + - uses: jchristgit/sphinx-action@master with: docs-folder: "docs/" |