Skip to content

chore(editor): update options tooltip #389

chore(editor): update options tooltip

chore(editor): update options tooltip #389

Triggered via pull request September 22, 2023 14:17
Status Skipped
Total duration 1s
Artifacts
teardown-${{ github.head_ref || github.event.ref }}
0s
teardown-${{ github.head_ref || github.event.ref }}
Fit to window
Zoom out
Zoom in