Skip to content
Publish Docs in GitHub Pages

Merge pull request #5791 from akatsoulas/rm-toctree-directive #3

Sign in to view logs

Merge pull request #5791 from akatsoulas/rm-toctree-directive

Merge pull request #5791 from akatsoulas/rm-toctree-directive #3

Triggered via push November 27, 2023 13:42
@akatsoulasakatsoulas
pushed 6eae139
main
Status Success
Total duration 31s
Artifacts –

publish-docs.yml

on: push
deploy
22s
deploy
Fit to window
Zoom out
Zoom in