Skip to content

Merge pull request #433 from eclipse-score/aschemmel-tech-kroehnd-saf… #524

Merge pull request #433 from eclipse-score/aschemmel-tech-kroehnd-saf…

Merge pull request #433 from eclipse-score/aschemmel-tech-kroehnd-saf… #524

Triggered via push December 3, 2025 16:17
Status Success
Total duration 2m 37s
Artifacts 1

docs.yml

on: push
build-docs  /  Build Documentation
1m 41s
build-docs / Build Documentation
build-docs  /  Deploy Documentation to GitHub Pages
48s
build-docs / Deploy Documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-docs / Build Documentation
Cache save failed.

Artifacts

Produced during runtime
Name Size Digest
github-pages-c3a94e90d9d8061a1d12059a017e3267ef70244b Expired
8.01 MB
sha256:bf9d9d61409af45eded4e3f02d5f371a1f8f04783bdb878df597cca2397bf6f2