Skip to content

Make DocumentSyncListener more efficient if no server is running #4939

Make DocumentSyncListener more efficient if no server is running

Make DocumentSyncListener more efficient if no server is running #4939

Triggered via pull request October 16, 2024 17:20
Status Success
Total duration 3m 11s
Artifacts

main.yml

on: pull_request
Matrix: Unittesting
Fit to window
Zoom out
Zoom in