Skip to content
Doc

Remove unnecessarily public + repeated singleton initialisation (#7123) #506

Sign in to view logs

Remove unnecessarily public + repeated singleton initialisation (#7123)

Remove unnecessarily public + repeated singleton initialisation (#7123) #506

Triggered via push July 17, 2025 17:26
@github-merge-queuegithub-merge-queue[bot]
pushed f0846cb
main
Status Success
Total duration 7m 51s
Artifacts 1

doc.yml

on: push
Build
7m 9s
Build
Deploy
13s
Deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
27.7 MB
sha256:d991f9392c73f7d10bf560fa3e516d345011b339883295b92ad16dc38821dbd4