Deploy documentation to Github Pages

Deploy documentation to Github Pages #1

Sign in to view logs

Manually triggered October 1, 2025 14:44

kevinschmidmayer

devel

Status Success

Total duration 6m 39s

Artifacts –

build-doc.yml

on: workflow_dispatch

build-and-deploy