Deploy Documentation to Github Pages

re-use super linter script (#1847) #872

Sign in to view logs

Triggered via push February 5, 2026 16:58

zeitlinger

main

Status Success

Total duration 4m 8s

Artifacts –

github-pages.yaml

on: push