Skip to content

Merge branch 'develop' #19

Merge branch 'develop'

Merge branch 'develop' #19

Triggered via push October 15, 2025 19:32
Status Success
Total duration 38s
Artifacts 1

build-mkdocs.yml

on: push
build_mkdocs
18s
build_mkdocs
deploy_mkdocs
12s
deploy_mkdocs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
5.36 MB
sha256:5e58578fbdc9ddab7003f3db22396e3a9d301fb540c67ea6884504e986e89d0d