Deploy docs

Merge pull request #16 from HendrikBorgelt/major_doc_updates #41

Sign in to view logs

Triggered via push March 4, 2026 08:54

main

Status Success

Total duration 42s

Artifacts –

deploy-docs.yaml

on: push