Skip to content

Make DocumentSyncListener more efficient if no server is running #4944

Make DocumentSyncListener more efficient if no server is running

Make DocumentSyncListener more efficient if no server is running #4944

Re-run triggered October 18, 2024 13:12
Status Success
Total duration 1m 15s
Artifacts

main.yml

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