Trigger GitHub pages documentation build

Trigger GitHub pages documentation build #142

Sign in to view logs

Manually triggered December 5, 2025 23:08

buddemat

v10.4.x

Status Success

Total duration 7s

Artifacts –

docs.yml

on: workflow_dispatch