Skip to content

[chore] Rename tabgroup to editor and more #821

[chore] Rename tabgroup to editor and more

[chore] Rename tabgroup to editor and more #821

Triggered via pull request September 5, 2023 04:41
Status Success
Total duration 1m 25s
Artifacts

CI-pull-request.yml

on: pull_request
SwiftLint  /  SwiftLint
15s
SwiftLint / SwiftLint
Testing CodeEdit  /  Testing CodeEdit
1m 0s
Testing CodeEdit / Testing CodeEdit
Fit to window
Zoom out
Zoom in