Skip to content

move sphinx sources into sphinx/ #1637

move sphinx sources into sphinx/

move sphinx sources into sphinx/ #1637

Triggered via pull request January 4, 2024 12:56
Status Success
Total duration 2m 8s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

deploy.yml

on: pull_request
Fit to window
Zoom out
Zoom in