Skip to content

Merge branch 'release/0.13.0' #780

Merge branch 'release/0.13.0'

Merge branch 'release/0.13.0' #780

Triggered via push October 27, 2023 13:48
Status Success
Total duration 31s
Artifacts
native  /  cancel-previous-run
4s
native / cancel-previous-run
native  /  update
8s
native / update
java  /  cancel-previous-run
4s
java / cancel-previous-run
java  /  update
11s
java / update
cocoa  /  cancel-previous-run
4s
cocoa / cancel-previous-run
cocoa  /  update
19s
cocoa / update
cli  /  cancel-previous-run
7s
cli / cancel-previous-run
cli  /  update
15s
cli / update
Fit to window
Zoom out
Zoom in