Skip to content

Merge branch 'devel' #10

Merge branch 'devel'

Merge branch 'devel' #10

Triggered via push November 2, 2025 09:13
Status Success
Total duration 28s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
56.8 KB
sha256:ede89b39ec7ad1b02b474b4b33127e7351e55bd619f89f68d54acf48151c7adc