Skip to content

Revert "SIGTERM handling (#10)" #38

Revert "SIGTERM handling (#10)"

Revert "SIGTERM handling (#10)" #38

Triggered via pull request November 11, 2025 09:00
@armin-acnarmin-acn
synchronize #13
Status Success
Total duration 2m 35s
Artifacts 1

docs.yml

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

Annotations

1 warning
build-docs / Build Documentation
Failed to save: Failed to CreateCacheEntry: Received non-retryable error: Failed request: (409) Conflict: cache entry with the same key, version, and scope already exists

Artifacts

Produced during runtime
Name Size Digest
github-pages-9b110fd75edcb0cde3d0fc45a747b579cc6a1bb5 Expired
4.18 MB
sha256:b9db9dc1fa5440c762763cd825b5b919da0986f6d98f41bc4a309446842f760b