Skip to content

Make DocumentSyncListener more efficient if no server is running #4942

Make DocumentSyncListener more efficient if no server is running

Make DocumentSyncListener more efficient if no server is running #4942

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

main.yml

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