Skip to content
Back to pull request #4989

Make wavy underline markings smaller #7890

Sign in to view logs

Make wavy underline markings smaller

Make wavy underline markings smaller #7890

Re-run triggered September 21, 2023 07:45
@jorg-vrjorg-vr
#4989
enhance/smalle-underline
Status Success
Total duration 3m 30s
Artifacts –

test.yml

on: pull_request
Test Ruby
3m 17s
Test Ruby
Test JavaScript
4m 44s
Test JavaScript
Test System
3m 16s
Test System
Fit to window
Zoom out
Zoom in