Deploy docs

Deploy docs #15

Manually triggered October 6, 2025 16:21

main

Status Success

Total duration 36s

Artifacts 1

docs.yml

on: workflow_dispatch

Produced during runtime

Name	Size	Digest
github-pages Expired	1.83 MB	`sha256:e0b21b7a2c532f3c2ae9cfe371d09cbbb678b39ecdefbdeaed51b5a925faadcd`