Skip to content
PR announcement

Docs: use the rtd theme also on readthedocs.org #85

Sign in to view logs

Docs: use the rtd theme also on readthedocs.org

Docs: use the rtd theme also on readthedocs.org #85

Triggered via pull request December 23, 2023 18:13
@clebergnuclebergnu
opened #5841
Status Success
Total duration 14s
Artifacts –

pr_announcement.yml

on: pull_request_target
Do an announcement to PR
3s
Do an announcement to PR
Fit to window
Zoom out
Zoom in