Skip to content
Deploy API docs to GitHub Pages

Remove a bit of unused JavaScript (#2238) #831

Sign in to view logs

Remove a bit of unused JavaScript (#2238)

Remove a bit of unused JavaScript (#2238) #831

Triggered via push November 24, 2025 19:46
@hectorcorreahectorcorrea
pushed 754fd52
main
Status Success
Total duration 30s
Artifacts 1

pages.yml

on: push
build
26s
build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
209 KB
sha256:2134f9314a9873d73c422760092a5fadb8b98c97c820663da63981736c8bccd6