Publish docs via GitHub Pages

Merge remote-tracking branch 'origin/main' #22

Sign in to view logs

Triggered via push April 2, 2026 14:12

main

Status Success

Total duration 29s

Artifacts –

publishdocs.yaml

on: push