Merge pull request #42 from gunthercox/fix #33

Triggered via push October 11, 2025 22:24

gunthercox

master

Status Success

Total duration 29s

Artifacts 1

publish-documentation.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.61 MB	`sha256:df663e30fb11f119d2b7d7d41e30b446d2994923045feb3bfa3db2642a97c25d`