Deploy docs

Merge pull request #79 from HendrikBorgelt/updates_to_doc_generation #89

Sign in to view logs

Triggered via push June 6, 2026 11:27

main

Status Success

Total duration 1m 4s

Artifacts –

deploy-docs.yaml

on: push