Skip to content

Merge branch 'develop' #1277

Merge branch 'develop'

Merge branch 'develop' #1277

Triggered via push July 23, 2025 19:00
Status Success
Total duration 52s
Artifacts 1

gh-pages.yml

on: push
Deploy to GitHub Pages
19s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
25.1 MB
sha256:7c240ffacbec39a5c8118d768ddf5ee4ae5ce8ffb0a1f46a2f1e7ca6d1280775