Render documentation

Add UI button to trigger builds #2

Sign in to view logs

Triggered via push July 20, 2025 10:35

hugovk

workflow_dispatch

Status Success

Total duration 20s

Artifacts –

builddoc.yml

on: push