Deploy documentation to GitHub Pages

Next development iteration `0.9.5.dev0`. #208

Sign in to view logs

Summary
Jobs
- build-docs
Run details
- Usage
- Workflow file

Triggered via push January 31, 2025 16:32

ielis

develop

Status Success

Total duration 1m 12s

Artifacts –

pages.yml

on: push