Deploy docs

Merge pull request #17 from HendrikBorgelt/major_doc_updates #43

Sign in to view logs

Triggered via push March 5, 2026 08:14

main

Status Success

Total duration 58s

Artifacts –

deploy-docs.yaml

on: push