Skip to content
Back to pull request #3666

Add APIs to override decoration managers and customize decorations (Take 2) #174

Sign in to view logs

Add APIs to override decoration managers and customize decorations (Take 2)

Add APIs to override decoration managers and customize decorations (Take 2) #174

Triggered via pull request November 22, 2024 17:01
@tarek-y-ismailtarek-y-ismail
synchronize #3666
redo-custom-server-side-decorations
Status Success
Total duration 10m 52s
Artifacts –

automatic-doc-checks.yml

on: pull_request
documentation-checks  /  Run documentation checks
10m 42s
documentation-checks / Run documentation checks
Fit to window
Zoom out
Zoom in

Annotations

1 error
documentation-checks / Run documentation checks
Process completed with exit code 1.