Skip to content
Publish Docs in GitHub Pages

Merge pull request #5852 from akatsoulas/drop-rtd #55

Sign in to view logs

Merge pull request #5852 from akatsoulas/drop-rtd

Merge pull request #5852 from akatsoulas/drop-rtd #55

Triggered via push January 23, 2024 14:04
@akatsoulasakatsoulas
pushed 8c5043c
main
Status Success
Total duration 30s
Artifacts –

publish-docs.yml

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