Skip to content

Merge pull request #32 from GEOSYS/dev #57

Merge pull request #32 from GEOSYS/dev

Merge pull request #32 from GEOSYS/dev #57

Triggered via push December 15, 2023 09:00
Status Success
Total duration 3m 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Sphinx docs to gh-pages
3m 37s
Sphinx docs to gh-pages
Fit to window
Zoom out
Zoom in