Publish docs via GitHub Pages

Merge pull request #5475 from martin-frbg/issue5424 #1429

Sign in to view logs

Triggered via push September 30, 2025 22:46

martin-frbg

develop

Status Success

Total duration 13m 5s

Artifacts –

docs.yml

on: push