Skip to content

Merge branch 'develop' #1172

Merge branch 'develop'

Merge branch 'develop' #1172

Triggered via push May 15, 2025 07:18
Status Success
Total duration 42s
Artifacts 1

gh-pages.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
19.2 MB
sha256:86786b9bbbc9eb1d732dd37dbc91f11e5e82f149988e16a3eccdae6e17a396f1