Skip to content

Make DocumentSyncListener more efficient if no server is running #4941

Make DocumentSyncListener more efficient if no server is running

Make DocumentSyncListener more efficient if no server is running #4941

Triggered via pull request October 16, 2024 22:28
Status Success
Total duration 1m 54s
Artifacts

main.yml

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