Skip to content

Merge branch 'main' into fix/remove-ci-github-deploy #805

Merge branch 'main' into fix/remove-ci-github-deploy

Merge branch 'main' into fix/remove-ci-github-deploy #805

Triggered via push April 8, 2026 23:54
Status Success
Total duration 2m 15s
Artifacts 2
validate-public-api-surface
1m 52s
validate-public-api-surface
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
explanations
1.6 MB
sha256:2ba5c84e2e342eae3e9060022de5b68af8de8f72382502bbf02006e98c9a441b
patch
1.44 MB
sha256:311f1ecced98abf76ad95d0ef355ad9c21eeabe84b2b88feb151a11577751ff3