publish docs

Merge branch 'develop' into trunk #5

Triggered via push January 9, 2024 15:46

mhekkel

trunk

Status Success

Total duration 1m 54s

Artifacts 1

build-documentation.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	25 MB