Skip to content
Documentation

Merge pull request #133 from eclipse-score/bugfix #200

Sign in to view logs

Merge pull request #133 from eclipse-score/bugfix

Merge pull request #133 from eclipse-score/bugfix #200

Triggered via push July 25, 2025 07:02
@masc2023masc2023
pushed 06b3c95
main
Status Success
Total duration 4m 17s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages-06b3c952b0eae475a25ca0ccc6fe5704966f5b7e Expired
7.37 MB
sha256:ed8516dae20fd64f5a8492b3be3a0c66aaf769ac8d8faba424c324fe32aa0e07