Publish doc to Github pages

Merge pull request #762 from Boavizta/demeringo-patch-1 #136

Sign in to view logs

Triggered via push January 17, 2026 20:12

demeringo

main

Status Success

Total duration 17s

Artifacts –

publish-doc.yml

on: push