Deploy Documentation to Github Pages

add IDEA icon (#1676) #721

Sign in to view logs

Triggered via push November 10, 2025 06:26

zeitlinger

main

Status Success

Total duration 3m 49s

Artifacts –

github-pages.yaml

on: push