Publish docs via GitHub Pages

Merge pull request #5609 from eschnett/patch-2 #1783

Sign in to view logs

Triggered via push January 18, 2026 22:25

martin-frbg

develop

Status Success

Total duration 13m 30s

Artifacts –

docs.yml

on: push