Skip to content
Documentation

Merge pull request #122 from eclipse-score/update_prm #164

Sign in to view logs

Merge pull request #122 from eclipse-score/update_prm

Merge pull request #122 from eclipse-score/update_prm #164

Triggered via push July 22, 2025 10:47
@masc2023masc2023
pushed 45209da
main
Status Success
Total duration 4m 16s
Artifacts 1

docs.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages-45209dad5e09c1e8e38246afa0ec9a58c1ecd265 Expired
7.33 MB
sha256:5f8f2e10b036da2e3ba9e1a0972e1d0f41a48c29c180c653523d6565dea7fe28