Skip to content
Documentation

Merge pull request #44 from eclipse-score/fix_review_findings #72

Sign in to view logs

Merge pull request #44 from eclipse-score/fix_review_findings

Merge pull request #44 from eclipse-score/fix_review_findings #72

Triggered via push June 27, 2025 07:09
@masc2023masc2023
pushed db0edb3
main
Status Success
Total duration 4m 15s
Artifacts 1

docs.yml

on: push
build-docs  /  Build Documentation
3m 29s
build-docs / Build Documentation
build-docs  /  Deploy Documentation to GitHub Pages
37s
build-docs / Deploy Documentation to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages-db0edb3c2634257963367545c11a8f3e5d49dbb7 Expired
7.11 MB
sha256:bb0b8cb7fe4350bca15a6fe8ceab7cc6d3fb88d6b1fbab73325ed13de055027a