Skip to content
Deploy docs

Merge pull request #80 from HendrikBorgelt/updates_to_doc_generation #90

Sign in to view logs

Merge pull request #80 from HendrikBorgelt/updates_to_doc_generation

Merge pull request #80 from HendrikBorgelt/updates_to_doc_generation #90

Triggered via push June 6, 2026 17:07
@HendrikBorgeltHendrikBorgelt
pushed 2a2d31c
main
Status Success
Total duration 1m 4s
Artifacts –

deploy-docs.yaml

on: push
build-docs
1m 2s
build-docs
Fit to window
Zoom out
Zoom in