Publish docs via GitHub Pages

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

Sign in to view logs

Triggered via push June 20, 2025 12:12

main

Status Success

Total duration 27s

Artifacts –

publishdocs.yaml

on: push