Docs

Tidy by using fold on the folds #537

Triggered via push October 11, 2025 19:58

docs

Status Success

Total duration 30s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	3.13 MB	`sha256:650eff35ba096732c1ba653f0664e57b2e9c7cae016587ca3ceed88f157e2153`