Skip to content

Merge pull request #229 from zhengpd/feat/configurable-terminal-displ… #39

Merge pull request #229 from zhengpd/feat/configurable-terminal-displ…

Merge pull request #229 from zhengpd/feat/configurable-terminal-displ… #39

Triggered via push May 8, 2023 09:27
Status Success
Total duration 1m 7s
Artifacts

doc.yml

on: push
build_sphinx_job
57s
build_sphinx_job
Fit to window
Zoom out
Zoom in