Skip to content
Back to pull request #3666

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

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) #1342

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

symbols-check.yml

on: pull_request
Run
4m 55s
Run
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run
Process completed with exit code 2.