Trigger GitHub pages documentation build

Trigger GitHub pages documentation build #145

Sign in to view logs

Manually triggered December 5, 2025 23:43

buddemat

v10.4.x

Status Success

Total duration 8s

Artifacts –

docs.yml

on: workflow_dispatch