Skip to content

Merge pull request #786 from elbeno/update-gitignore #360

Merge pull request #786 from elbeno/update-gitignore

Merge pull request #786 from elbeno/update-gitignore #360

Triggered via push October 15, 2025 16:28
Status Success
Total duration 14m 7s
Artifacts 1
Configure Github Pages Publishing
6s
Configure Github Pages Publishing
Build Documentation
1m 45s
Build Documentation
Deploy Documentation
43s
Deploy Documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
393 KB
sha256:a0bf244293e56e4a22f9be1ab4060cc782d5036be9fbf9aa29adf05ed0918524