Skip to content

Merge branch 'github_dev' into github_main #50

Merge branch 'github_dev' into github_main

Merge branch 'github_dev' into github_main #50

Triggered via push August 28, 2025 14:20
Status Success
Total duration 48s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
103 MB
sha256:db1ae86d77527af6fe63ecae7985eddc4d935973cb99832a04bc43a85b4b4c32