Skip to content
Deploy website

Try with git rm -r * instead of rsync #18

Sign in to view logs

Try with git rm -r * instead of rsync

Try with git rm -r * instead of rsync #18

Build Python API docs

Build Python API docs
succeeded Aug 22, 2024 in 19s