Skip to content

Make DocumentSyncListener more efficient if no server is running #4940

Make DocumentSyncListener more efficient if no server is running

Make DocumentSyncListener more efficient if no server is running #4940

Triggered via pull request October 16, 2024 19:45
Status Success
Total duration 1m 43s
Artifacts

main.yml

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