Fix 'edit on github' button #249
Triggered via pull request
January 20, 2026 12:56
MaximilianSoerenPollak
MaximilianSoerenPollak
opened
#352
Status
Success
Total duration
6m 10s
Artifacts
2
test_and_docs.yml
on: pull_request_target
docs-verify
/
Docs Verification
1m 24s
unit-tests
/
code
3m 24s
docs-build
/
Deploy Documentation to GitHub Pages
30s
Annotations
1 warning
|
docs-build / Build Documentation
Cache save failed.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
github-pages-c1f9e026db50784442e78c1ac78f9115e8853437
Expired
|
4.66 MB |
sha256:bd3f3343f8c866f4416cd3811a89f0b1b0c5d8e7c5d7c19add79a2183ba5bfbd
|
|
|
tests-report
|
13.5 KB |
sha256:cf7745113406a98e9fd3fe9b31eb459dc1915679e802edca5b6c67dab9d460b0
|
|