Deploy docs

Merge pull request #12 from HendrikBorgelt/HendrikBorgelt-patch-1 #39

Sign in to view logs

Re-run triggered February 12, 2026 12:29

main

Status Success

Total duration 33s

Artifacts –

deploy-docs.yaml

on: push