Deploy Documentation to Github Pages

openjdk image has disappeared (#1663) #705

Sign in to view logs

Triggered via push November 4, 2025 12:31

zeitlinger

main

Status Success

Total duration 3m 50s

Artifacts –

github-pages.yaml

on: push