Skip to content

[chore] Rename tabgroup to editor and more #823

[chore] Rename tabgroup to editor and more

[chore] Rename tabgroup to editor and more #823

Triggered via pull request September 5, 2023 16:11
Status Success
Total duration 1m 5s
Artifacts

CI-pull-request.yml

on: pull_request
SwiftLint  /  SwiftLint
6s
SwiftLint / SwiftLint
Testing CodeEdit  /  Testing CodeEdit
46s
Testing CodeEdit / Testing CodeEdit
Fit to window
Zoom out
Zoom in