Deploy Docs to GitHub Pages

rename purpose to overview and make titles unique #36

Sign in to view logs

Triggered via push December 14, 2025 14:18

PhilippSalvisberg

main

Status Success

Total duration 48s

Artifacts –

deploy-docs.yml

on: push