GitHub Pages publication

Merge commit '68b65b8e88e8ed6e54bd9b2f9e9e8bcbbae0efb7' into develop #111

Sign in to view logs

Triggered via push October 3, 2025 22:24

kreinhard

develop

Status Success

Total duration 5m 52s

Artifacts –

github-pages.yml

on: push