Skip to content

Merge branch 'develop' into feature/industrie-subpages #1219

Merge branch 'develop' into feature/industrie-subpages

Merge branch 'develop' into feature/industrie-subpages #1219

Triggered via push July 3, 2025 09:18
Status Success
Total duration 24s
Artifacts

gh-pages.yml

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