Deploy Documentation to Github Pages

separate java update as graal is not working (#1811) #837

Sign in to view logs

Triggered via push January 26, 2026 09:37

zeitlinger

main

Status Success

Total duration 3m 59s

Artifacts –

github-pages.yaml

on: push