Skip to content

Merge branch 'develop' into setup_rtd #263

Merge branch 'develop' into setup_rtd

Merge branch 'develop' into setup_rtd #263

Triggered via push November 7, 2023 13:39
Status Success
Total duration 5m 27s
Artifacts

ci.yml

on: push
Matrix: base
Fit to window
Zoom out
Zoom in