deploy docs to GitHub Pages

deploy docs to GitHub Pages #17

Sign in to view logs

Manually triggered May 7, 2025 17:36

1-leo

master

Status Success

Total duration 26s

Artifacts –

deploy-docs.yml

on: workflow_dispatch

Publish to gh-pages branch