Skip to content

Merge branch 'feature/minor-tweaks' into stable #80

Merge branch 'feature/minor-tweaks' into stable

Merge branch 'feature/minor-tweaks' into stable #80

Triggered via push October 31, 2025 03:14
Status Success
Total duration 35s
Artifacts 1
Update XSD files
16s
Update XSD files
Deploy the website
9s
Deploy the website
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.51 KB
sha256:710f018134d5bf2165de7381e47ee9d78a5e8837dc55440d73a4e7b93ae91131