Publish documentation to GitHub Pages

Add rename script (#78) #30

Sign in to view logs

Triggered via push May 8, 2026 10:32

amrabed

main

Status Success

Total duration 24s

Artifacts –

docs.yml

on: push