Skip to content

Merge branch 'develop' #17

Merge branch 'develop'

Merge branch 'develop' #17

Triggered via push July 2, 2025 19:14
Status Success
Total duration 40s
Artifacts 1

build-mkdocs.yml

on: push
build_mkdocs
17s
build_mkdocs
deploy_mkdocs
13s
deploy_mkdocs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
5.35 MB
sha256:2624fc17e07649903988d7d89de7db86c68a9f56284cd213a7380317e7556933