Deploy Docs to GitHub Pages

add pagination buttons with matching styles #23

Sign in to view logs

Triggered via push November 24, 2025 05:22

PhilippSalvisberg

main

Status Success

Total duration 42s

Artifacts –

deploy-docs.yml

on: push