Deploy Documentation to Github Pages

Update actions/setup-java action to v5 (#1528) #584

Sign in to view logs

Triggered via push August 21, 2025 07:38

main

Status Success

Total duration 5m 43s

Artifacts –

github-pages.yaml

on: push