Skip to content
PR-Merge

#317: Implemented reuse of workspace directory (#325) #122

Sign in to view logs

#317: Implemented reuse of workspace directory (#325)

#317: Implemented reuse of workspace directory (#325) #122

Triggered via push December 17, 2025 14:41
@tomubentomuben
pushed efde67d
main
Status Success
Total duration 7m 12s
Artifacts 5

pr-merge.yml

on: push
Checks  /  Version
39s
Checks / Version
Checks  /  ...  /  python_versions
44s
Checks / Generate Build Matrix / python_versions
Checks  /  Changelog Update Check
0s
Checks / Changelog Update Check
Checks  /  Format Check
40s
Checks / Format Check
Publish Documentation  /  build-documentation
4m 47s
Publish Documentation / build-documentation
Checks  /  Docs
4m 19s
Checks / Docs
Matrix: Checks / Tests
Matrix: Checks / Lint
Matrix: Checks / Security
Matrix: Checks / Type-Check
Publish Documentation  /  deploy-documentation
10s
Publish Documentation / deploy-documentation
metrics  /  report
1m 40s
metrics / report
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
coverage-python3.10-fast
3.48 KB
sha256:3cc500e5abd2f8afe879f6694f2f52f01821ecb0b43d33b35a02499c246e343d
github-pages Expired
3.56 MB
sha256:5cd37f14e939203f7692aa858eb98e88a8fbf0e335c58ffdf82d66bce10cb6c0
lint-python3.10
10.8 KB
sha256:6c040641e6aed321a4b68c0bddb7b3fcafd7c39e904f7a7e3fa08f86a4b4a3f5
metrics.json
296 Bytes
sha256:d16dd82190c3907d07605317ea11d9a91adb0ab81bc56e48d83e510394f0d268
security-python3.10
2.39 KB
sha256:f6d115ed499256f022bfc1810c8afeb9f015c6a02c5d99d8b3d3b997addbb658