Publish docs via GitHub Pages

Merge pull request #5628 from martin-frbg/issue5627 #1808

Sign in to view logs

Triggered via push January 29, 2026 19:32

martin-frbg

develop

Status Success

Total duration 32s

Artifacts –

docs.yml

on: push